an option to play a song in an html export?

Development Export
3

There are some export-html-scripts in the configuration archive that can play mp3s:
/t/1495/1