My phone does have a headphone jack, and I could listen to the radio on the stock ROM using the workaround you mentioned.

It says it only supports “ONLY smartphones with Qualcomm Snapdragon”. Too bad…

Thanks for the detailed comment! I’m trying to build the app, but I’ve been unsuccessful so far… I have zero experience with this. I’ll try asking the maintainer.

It didn’t work…

Oh right. Unless I’m mistaken, Pushshift was a data collection platform that provided an API for getting Reddit data, before the API change ruined it. When someone deletes a comment, it’s still there in the database. Pullpush is a fork.

Florisboard. Android keyboard, doesn’t have spell checking yet but I’ve been using it for years, you might not need autocorrect as much as you think! (Note for Samsung users: Samsung Keyboard keeps adding items to its clipboard history whether it’s default or not. Clipboard history is also accessible through Edge Panels. Your passwords might end up and sit there for a long time… you can use adb to disable com.samsung.android.app.clipboardedge and com.samsung.clipboardsaveservice.)

Delta Chat, for messaging. Sign-up is extremely easy using the default server, and I’ve convinced some of my contacts to join.

Redlib (alternative front-end to Reddit) puts a link to undelete for removed comments. undelete.pullpush.io

I suggest mega.io as replacement for OneDrive. I use it myself, and it has a desktop app like OneDrive’s.

They’re scared of installing a new operating system. It’s just so weird.