hot fix #332 by renaming download extension to .txt