How to remove agda-mode from Debian 9 (Stretch)