How to remove gnat-gps-doc from Debian Unstable (Sid)