Cómo desinstalar antlr-doc en Debian Unstable (Sid)