Well, in the intervening 2.5 hours, it suddenly seems to be working. I’d delete my query, but there doesn’t seem to be a way to do that here. It wasn’t a case of browser cache since I’d used a cache-cleaned FF before. Unless cache can be sneaky in ways I’m not aware.
In any case, seems to be working fine. Thanks very much.
