I'm a bit puzzled here...
Nothing personnal here but if I understand well :
1) Everybody knows about this bug
2) One SuperMod made extra theme because (also) of this problem
3) Still, all supermods don't "bother" reporting bug to the one they know can fix this
4) We are talking about the "Official" Theme of the "Official" Web site

I know this is a community web site but from the investment done in upgrading the hardware I would have thought that one would bother fixing this old and annoying glitch...

I'm just puzzled by the idea of developping a whole workaround theme rather than fixing the main one or creating a bug.

Really...