Thanks for replying so promptly, Ondřej. On 6 Nov 2022, at 15:34, Ondřej Surý wrote: > Nope, that’s local to your system. Hard to tell what’s wrong from > just a single message, but either there’s cruft somewhere in the > path with more priority That was it. Rebuilding the cache cleared the problem. /Niall