How to remove octave-info from Debian 9 (Stretch)