RE: Comments regarding locking & auto-checkin...

  Now there is some ambiguity about the meaning of "the resource
  to which the header is applied" and no-tag-list productions.
  For example, is the collection one of the resources to which
  the header is applied, when you delete a member of the collection?
  But that's a different discussion (:-).

I've added that to the issues list as
CLARIFY_UNTAGGED_IF_HEADER_APPLICATION