How to remove grub-legacy-doc from Debian 9 (Stretch)