Use a proper file extension for the packages file

We'll keep the .txt file for a month or so before deleting it.