A tiny plugin for WordPress which converts greater than signs, smaller than signs and ampersands to html entities within pre tags....