Last modified: 2012-09-19 10:45:35 UTC
[[:commons:MediaWiki:Prefs-searchoptions]] should be not "Search options" but "Search". All sections are options/preferences...
Getting design and i18n opinions.
True, all tabs have no "option" redundancy. Gerrit change #24275.