OK, now I’m sure that the mods are asleep.
How did I miss this? Must have been posted when my computer had crashed.