Embedded player: downloadable mp3 file (without strikethroughs )

We remove a lot of text and audio editing. But our listener download the audio non edited. from the embedded player.

So i think this feature would be nice to have: (example)