Right now the "inbox" tag must be present at all times. However, the RMTAG makes it possible to remove that tag.

Keeping the "inbox" tag as present always does not give any advantages, and adds complexity to the specification (needs special treatment whenever removing/renaming tags). I'm inclined to get rid of the "permanent" "inbox" tag and simply require all new messages be given (at a minimum) the "inbox" tag.