How to remove doc-rfc-others from Debian 9 (Stretch)