Agreed, though the schema used does contain this:
<object class="extResource" extends="modResource">
I don't think the 'extResource' class is ever used in my code, though I think it could be. I did some experiments with converting a modResource to an extResource object or vice versa. It worked, but I can't remember the details or why I wanted to do it.