User blog comment:Dopp/New Global Search, plus Updates to Local Search/@comment-3562424-20120510021620/@comment-1656630-20120510203335

Ooh, a mediawiki page for spelling corrections is a very clever idea -- thanks!