I hadn't heard of the <xmp> tag before now. His reasoning ("so that users don't have to escape special HTML characters") seems to be correct, except that it's a deprecated tag (http://stackoverflow.com/q/4545). Perhaps he used a <textarea> on this page so he could have the literal "</xmp>" in it?