Cómo desinstalar agda-mode en Debian Unstable (Sid)