[DominikPeters]

It is not supported. You can only add an IMAP mailbox on the mobile app and not on gmail.com. The IMAP account is then displayed as an inbox completely separate from your gmail inbox. There is no pull and no integration.

[pbreit]

Ah, I see, I think you're right. I misread the Google doc.