@bradwilson must have, because the behavior is inexplicable. Problem is prettify.js is not "reentrant"; colorizing twice = funked up.