Syncthing-android is basically in “do-your-bugfixes-yourself”-mode. I am taking care of keeping it up-to-date with Syncthing releases and trying to keep it working with updated Google play requirements. Maybe once google decides to stop being annoying (or at least pauses for a good while), I will have some motivation to squash some bugs. However I’d much rather help with and review contributions of others. Sounds like you have done the hard work of analysing the problem already - would be cool to get a PR as well