No matches were found for subject:"Bug#983667\: syncthing\: Possible incorrect remote sync status after removing device\/resetting index"