I figured out how to run my favorite Linux TUI music player on Android, and it's better than any app on the Play Store How-To Geek