w7

Ah, wonderful. Thanks, fellows.
I couldn’t quite get the empty page trick to work, but editing header.php seems simple and effective, and works like a charm. Must now remember that I did this, and how, before upgrading the theme.