HTML 4.01では
> Authors wishing to put the "<" character in text should use "<" (ASCII decimal 60) to avoid possible confusion with the beginning of a tag (start tag open delimiter).
> Similarly, authors should use ">" (ASCII decimal 62) in text instead of ">" to avoid problems with older user agents that incorrectly perceive this as the end of a tag
> (tag close delimiter) when it appears in quoted attribute values.
というふうに定められている。
（http://www.w3.org/TR/1999/REC-html401-19991224/charset.html#h-5.3.2 よりコピペ）

規格からいうと、>>619より>>617のほうが正解に近いみたい。
「仕様的にはIEがルーズ」なのはそのとおりだと思うけど「表示できる方が間違い」ってほどでもないし、
逆にJane系専ブラの実装がやや手抜きっぽい点があるにせよ「独自の問題」「不具合」まではいかない。

まあ、>>610のアドバイスをとりいれるのが最も無難でしょ。
「<」を「<」に、「>」を「>」に置き換えても、1000.txtのサイズが少しだけ増える程度で、特に実害はないだろうから。