After you file

True....You can't re-set the extension during the download process.

..….you change it on your computer after it has been already been downloaded.

(I'll adjust my answer above to make that clear(er).
____________*Answers are correct to the best of my knowledge when posted, but should not be considered to be legal or official tax advice.*