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.
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.)
No worries, GPT says my* code is flawless.