How to remove singular-dev-doc from Debian Unstable (Sid)