– XueFuqiao 2013-05-19 01:55 UTC
I did what I could. Let me know if there are more instances.
– AlexSchroeder 2013-05-19 09:48 UTC
Thank you! I’ll edit myself or let you know if I find some other instances.
– XueFuqiao 2013-05-19 13:48 UTC
I am not seeing a search box at the top of the page anymore. What gives?
– NicFerrier 2013-05-22 13:00 UTC
Nic – it’s at the bottom, with an undocumented “language” input. I asked as well over at Comments on HowToSearch
– MichaelPaulukonis 2013-05-22 13:08 UTC
The trouble is everything still says “use the search box at the top”. SIGH.
– NicFerrier 2013-05-22 14:45 UTC
Could we have some keyindex to focus it? Alt+s or something?
– NicFerrier 2013-05-22 14:46 UTC
We already have. accesskey=“f”.
– NicFerrier 2013-05-22 14:47 UTC
I haven’t changed any of the text, because I didn’t know if it was an oversight, or part of a work-in-progress.
I think I would prefer search at the top of the page.
I don’t want the top of the page cluttered, but there are a number of sites (like https://github.com) that pack a lot if technical info and menus into a small space.
– MichaelPaulukonis 2013-05-22 14:58 UTC