Oops: only just noticed I’ve had Safari JavaScript turned off on my iPad for several days. Enough stuff works that I could do this more.