Audio file source in simple HTML player in Elements

Hi, I like the new audio player component - could you maybe add a minutes and seconds timer?

I’m experimenting with a simple ‘single track’ HTML player using the Custom HTML component:

For the source: “your-audio-file.mp3”…How do I point this towards an mp3 in the Elements Resources folder, or can it only pull audio files off a server?

Many thanks.