Search enhancements

We now display a la View Source, and boldface the found search terms.