Thank you, sorry for the false alarm (or happy for the false alarm??)
I started FF in safe mode to turn off plugins and extensions — just 3, I have a very vanilla install of FF — and it worked.
…and of course, once I switched back to normal FF it still worked <sigh>. I should have just followed true-and-true IT support advice and “reboot it and see if it helps”.
Thanks!
