Seriously. The toplevel file got rewritten during the week in between. And the old one was exhibiting the exact same problems. So if we’d known about this issue we could have DEMOED A WEEK EARLIER and been done.