Filename export extension map

I've checked it and it works fine: for HTML it downloads a txt and for md it downloads a .md file. Plus, it solves a problem that was making the .txt extension added twice. Merged into 1.x, it will be released asap, thanks!