Document funny Gmail IMAP behaviour involving labels