Steps to replicate the issue (include links if applicable):
- Visit Special:Preferences
- Try to find some obscure preference that you remember from last week*
What happens?:
- Must slowly dig through the menu trees looking.
What should have happened instead?:
Special:Preferences is getting so big these days,
there are more choices than in one's cellphone's Settings!
These days cellphones' Settings all have a search box at top, to help
dig up the setting you are looking for out of the myriad of menus.
Therefore Special:Preferences should have a search function too!
Software version (skip for WMF-hosted wikis like Wikipedia):
Other information (browser name/version, screenshots, etc.):