[Dovecot] feature or bug on delete?

[Cor Bosman]

RFC 3501 mentions this:

      The DELETE command MUST NOT remove inferior hierarchical names.
      For example, if a mailbox "foo" has an inferior "foo.bar"
      (assuming "." is the hierarchy delimiter character), removing
      "foo" MUST NOT remove "foo.bar".  It is an error to attempt to
      delete a name that has inferior hierarchical names and also has
      the \Noselect mailbox name attribute (see the description of the
      LIST response for more details).

      It is permitted to delete a name that has inferior hierarchical
      names and does not have the \Noselect mailbox name attribute.  In
      this case, all messages in that mailbox are removed, and the name
      will acquire the \Noselect mailbox name attribute.


This is what dovecot does:

. create foo
. OK Create completed.
. create foo/bar
. OK Create completed.

. list "" "*"
* LIST (\HasChildren) "/" "foo"
* LIST (\HasNoChildren) "/" "foo/bar"
. OK List completed.
		(some other output removed here)


. delete foo
. OK Delete completed.
. list "" "*"
* LIST (\HasNoChildren) "/" "foo/bar"
. OK List completed.


Reading the above section, shouldnt I be seeing a:

* LIST (\Noselect \HasChildren) "/" "foo"


Regards,

Cor