@larsyencken Doh, of course.  It’s now fixed!