Export audio to html using <audio> tag not <a>

Reverse engineered further your intentions of opening the issue on github

I think you have tried to force the player export using the audio html tag

<audio controls src=":/ID"> </audio>

But, to no avail, as Joplin doesn't support playing local audio files with the player provided by the tag, even though Joplin does export the player.

So, this would be your next feature suggestion, am I right?

Support playing audio using audio tag <audio controls src=":/ID"> </audio>

As this looks like a feature suggestion, how about we first discuss it here before considering it as a bug on github?

Laurent's position on this: such functionality is more advanced hence not officially supported.