This guy’s gone to the trouble of finding out how to add “Did you mean?” to your own website’s search.