Android, File Management, and Audio 2019-11-30 13:13:45 Hi, been a GNU/Linux user since 1998. It's been my only desktop operating system for years.Previously I only used Android for a phone and e-mail. However I just got a Pixel 3 and decided to try using it as a music player and am finding myself very frustrated with the file management.Android 10. This phone has no SD card slot..I'm using JetAudio+ (I tried PowerAmp but the interface was just way too complex and busy)The audios - they are 64kbps opus (good enough for the earphones I have) - to get them onto the phone I upload them to my WebDAV server and then use the WebDavNav+ application on Android.When I download the files, they are not in the Music directory - and I can not find them anywhere using the Files app but if I search for the the filename I can find it but no path is shown. I can copy it to the Music directory where JetAudio+ can then find it. However the native Files application won't let me move the file, only lets me copy the file. Future searches for the same file name show two copies, needlessly taking up space, and there doesn't seem to be an option to delete.Tried various 3rd party file managers and most had too many ads that got in the way of actually using the app. Asus File Manager works and lets me delete files but it only shows the copy of the file in the Music directory, it doesn't seem to be able to show where the downloaded one I had to copy to Music directory is.I don't understand how an operating system with such poor file management is so popular, but seriously - is there a 3rd party app that gives better file management that will allow deleting the files from wherever WebDavNav+ puts its downloads (which isn't the Downloads directory oddly) so they can be deleted after being copied to the Music directory?And for those w/o an SD card slot and running only GNU/Linux desktop, is there a better way to get audios into the Music directory on an Android phone than using a WebDAV client?It's almost feels like Google is trying to force me to use their streaming ecosystem.Thank you for any suggestions.