This wasn't a matter of curiosity.  Before someone wastes hours trying to figure out how to download an ancient version of the software, is the amended return really necessary?  Does it relate to one of the things you mentioned or did someone find a 2017 W-2 that had some withholding on it that will result in a $12 refund for 2017?