Subject: [xml2rfc] draft-name-blah.pdf instead of draft-name-blah.txt.pdf at the output of xml2rfc.tools.ietf.org

From: Alexandre Petrescu <[email-masked]>
Date: Thu, 12 Dec 2019 16:09:05 +0100

Hello,

I would like xml2rfc.tools.ietf.org to generate a pdf file with the 
filename:

    draft-name-blah.pdf
    instead of
    draft-name-blah.txt.pdf

I need this in order to talk about it to colleagues, by employing terms 
such as "please generate the txt file", or "please read the pdf file".

The txt and pdf files are two different files, but their extensions are 
concatenated into one.  On windows it is displayed as:

    "draft-name-blah.txt   Adobe Acrobat Document"

It is a contradiction in terms.

Alex