Mejoras de Gmail si usas IMAP

Google por fin introduce algunas mejoras muuy necesarias a quienes usan IMAP junto con Gmail. Qué etiquetas sincronizar, entre otras cosas.