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