Manpages of pythoncard-tools in Debian stretch