I am not seeing a search box at the top of the page anymore. What gives?
Nic -- it's at the bottom, with an undocumented "language" input. I asked as well over at Comments_on_HowToSearch
Adding snippet for mode-line coloring
no summary available