@gabriel Además, ya no resulta tan cómodo (el Window Manager no termina de integrarse con lighthDM, el lanzador de ahora no me gusta tanto como el de 2019, las widgets están hechas para monitores con mayore resolución, etc.). Pero sigo aquí :-) Viviendo y aprendiendo. "Since 1999"