Thanks so much for this (and thanks to everyone else who responded too). My comment got a bunch of upvotes and it feels good to get this unexpected support. I decided to try and put it out of my mind for a while, it's a Saturday, it's not urgent, I can revisit the issue later when I'm calmer...