wget - extraindo um arquivo com sua extensão

Question

Eu tenho um arquivo "f.txt" presente no seguinte url como abaixo

link

Quando clico no link acima no navegador, o documento "f.txt" é baixado, mas quando eu uso o wget como abaixo

wget XXX-int-wap02/DocApp/doc.asp?Document=YYY

Eu sou capaz de extrair o arquivo, mas o arquivo é extraído como

Nome do arquivo: doc.asp? Documento = YYY

Extensão de arquivo: doc.asp? Documento = YYY

Então eu passei pelo tópico SU aqui

Como wget um arquivo com nome correto quando redirecionado?

Depois modifiquei meu wget como abaixo

wget -O f XXX-int-wap02/DocApp/doc.asp?Document=YYY

Usando o acima, o comando wget a seguir extrai o arquivo como mostrado abaixo. Mas o tipo de arquivo não é obtido. Veja a imagem abaixo.

Processamento anterior Eu sei qual é o nome real do arquivo ( como tal eu mencionei como f no comando ) mas eu não sei a extensão do arquivo.

Existe alguma maneira de obter a extração de arquivos com a extensão de arquivo correta também?