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.