[@drmike Member 18 years, 8 months ago]

I noticed this on occasion on the wp.com forums. If the system sees a tag as something that needs to be encoded, then there’s no way it can’t ever be un-encoded. It’s a pain when trying to fix HTML over there.