So a year and a half later from my previous post, I’m still getting errors about a file that has been thoroughly deleted from all devices:
Dropping index entry for electowiki/electowiki/\Beatpath.mw, contains invalid path separator
Is this ever going to be fixed? 
We should just drop that entry silently (maybe debug log) if it’s deleted, as omitting deleted items has no consequences. That’s an easy fix I can do right away (unless of course I am missing a problematic consequence of such a change, which I will hear about in review 
). https://github.com/syncthing/syncthing/pull/6796