How to remove hol88-doc from Debian Unstable (Sid)