Correct output semantics for the search server: OutputHTML instead of OutputString for web page output.
Correct output semantics for the search server: OutputHTML instead of OutputString for web page output.

ndmitchell/hoogle,ndmitchell/hoogle,ndmitchell/hoogle