Quoting Mikko Rantalainen <[EMAIL PROTECTED]>:
The Opera behavior cannot be implemented without having the knowledge that an ins element cannot contain a p element.
It can contain a 'p' element. Only not when its parent is a 'p' element.
Should the UA also contain knowledge about every other element so that it can correctly close all open inline elements when it sees a tag that starts a block level element?
Mostly, yes. Most browsers have very specific behavior depending on the element.
(Which not necessarily makes the DOM more conformant.) -- Anne van Kesteren <http://annevankesteren.nl/>