This is a temporary measure while I am improving the highlighter footprint. Otherwise, highlighting pretty printed Gmail takes ~1.3G of RAM.
Created attachment 114488 [details] Patch
Committed r99847: <http://trac.webkit.org/changeset/99847>