How to remove agda-mode from Debian Unstable (Sid)