[MlMt] "Unsubscribing" labels in Gmail

[Thomas Baker]

The manual page for account setup [1] says:

    If you click "Edit Subscriptions" in the IMAP account
    editor for a Gmail account then you might notice that
    "[Gmail]/Starred" and "[Gmail]/Important" are
    unsubscribed.

The only thing I see in Gmail that looks like an "IMAP 
account editor" is Settings => Labels, which lists 
"System labels" in the leftmost column that have names 
like "Starred" and "Important".

The rightmost column has checkboxes:

    _ Show in IMAP
    x Show in IMAP

Do I correctly understand that un-checking "Show in IMAP" 
is the equivalent of what the MailMate manual refers to 
as "unsubscribing"?

[1] https://manual.mailmate-app.com/account_setup