How to remove 4ti2-doc from Debian Unstable (Sid)