How to remove devtodo from Debian Unstable (Sid)