Mi sono accorto ora che dentro Gmail c’è la possibilità di creare/gestire etichette annidate:
ovviamente per chi usa la posta di gmail via imap, poco cambia, visto che nel client di posta (p.e. thunderbird) già si potevano fare tutti gli spostamenti/annidamenti voluti, ma poter gestire questa flessibilità anche nella webmail è notevole (e, come ci ha abituato google, è ben implementato).