Don't htmlize stuff inside pre tags

Ref #39