Hide ".mp3" extension from filenames

[jpantin2]

When reading songs by folder, in several other players there's an option to hide the extension of the files, so you don't have to read the ".mp3" part over and over in every single file. It's just aesthetically annoying.

[Anrimian]

Might be useful https://www.sqlitetutorial.net/sqlite-functions/sqlite-substr/ https://database.guide/get-position-of-character-in-string-sqlite-instr/