Re: [Design] Tweaks and additions to mediawiki.ui