Improvements to `Want to open a local file?` page

[LorenzoCattai]

It would be nice to have a slightly better UI on the Want to open a local file? page audio and video players, I get that those are the default browser ones, but having something a tiny bit more usable inspired by something like player.html would be really handy and improve the experience a ton especially when playing back local filesystem audio files.

This is a different but related Issue of #197

[WofWca]

I did bit of searching a while a go, found these options, but have not done any more:

• https://simplevideoplayer.com/ - ok, but I see no playlist support.
• https://webvideoplayer.org/ - PWA, has extension. I guess should be well-developed.
• Something based on https://github.com/videojs/video.js ?

I think @DavidSM100 has also talked about this, he also made https://davidsm100.codeberg.page/jumpcutter-player/@pages/.

We considered adding a new player as an option for a start, and keeping the current one.

Is player.html easy to integrate into the extension? Are there better options?

[davidsm10]

player.html looks nice but I don't see any way to drop/select files from the system, it's all server based, so it's not good for this use case, there is probably other options we can use.