Flagging this bug for the folks on this list:

"Make Wikipedia distinct by styling of a prominent UI feature differently than the default"

To be clear, I know about ongoing work to develop and implement visual identity guidelines. The bug above is related but much narrower in scope, referring specifically to a problem incurred as a side-effect of the popularity of MediaWiki as a platform.

---