I'm seeing some odd display glitches today (that weren't there
yesterday), so it seems likely that something in this area has regressed: