Quick Escape
What is quick escape? It's a tool that lets you quickly paste in HTML and for that to be converted to escaped characters - for example converting <a> to <a> - which can then be pasted back in to your HTML source code so that it renders on screen in code samples and the like.
