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