This userscript is now obsolete, as a permanent fix has now been implemented by Stack Exchange.

This is a highlight.js plugin that was developed in order to enable highlighting in the revision and review pages as it is currently disabled. Apparently, StackExchange has its own definition of "hotfix".

A large part of the userscript's code has been shamelessly stolen from Deprecate HTML auto-merging from core (plugin may be needed) and follows this piece of advice.

Bug reports for the project should be submitted here.
Before adding a new one, please check if it hasn't been raised before.