Default file manager (files app) how to delete

March 2023 (I’m new to e/OS), this bug still not resolved. Actually the only reasons for me to use file managers on my phone is to delete, move, or preview files. Failing 2/3 of these is pretty dismal!

I found this app which is essentially identical to the pre-installed app, but with the missing functionality returned. From the description, it sounds like this little 81kB app is just a script to call some pre-existing file manager fundamental to Android operating systems in general.

Hope that helps