python3-thonny: binary-without-manpage usr/bin/thonny
