Hello, everyone. Sorry about going dark. Was finishing up the semester. Finally over. Passed. One year left.
Arachis' push server was not handling all connections properly. Upgraded to a bigger one today.
The migration took all morning, but it should be over. A restart of the app should suffice to fix any problems. If anyone still encounters them, something could have gone wrong in the database migration. In this case, mention me and I'll look into it.
Sorry about the downtime :(