I did see that a while back, but I haven't had any issues so didn't look into it. A quick search just now though shows Syncthing-Fork on F-Droid, so it should be an easy migration if there does come a need. I did the same with Orgzly a few months ago as it too was forked due to the original dev going MIA, and there were a few annoyances I wanted resolved.