Manpages of python3-pyfiglet in Debian stretch