How to remove txt2man from Debian 9 (Stretch)