Must be something really weird, that didn’t help either (but thanks for the suggestion!).
I have even gone so far as to remove the files, restart the server and re-add them. Marked them as watched, restarted the server, and marked them as unwatched etc. Still no joy…
