PCComf

I was really hoping for a theme patch. It’s not impossible to change manually, but it is a highly visible bug in the theme that probably ought to be fixed.