How to remove libghc-github-doc from Debian 9 (Stretch)