Come desinstalare agda-mode su Debian Unstable (Sid)