Firefox: como convertir código en entidades HTML

Si recuerdan la entrada del año pasado, Insertar HTML en un blog
En la misma, sugería un recurso disponible en la red, para convertir el marcado HTML a sus correspondientes entidades.
De hecho, la única forma de insertar código (entre etiquetas PRE y CODE) para que no fuese interpretado por el navegador.
Recientemente, he dado con una extensión de Firefox, que lleva a cabo dichas conversiones:
Unicode Converter/Input Tool