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