He intentado muchas cosas. Lo más drástico fue eliminar las cuentas de gmail de mail.app, salir de mail.app, desactivar IMAP desde el lado de gmail, volver a encenderlo, volver a agregar las cuentas de gmail a mail.app. Todo parece funcionar bien, no hay actividad en la ventana de actividad y, sin embargo, cuando busco algo en mail.app no obtengo ningún resultado. ¿Alguna idea?