Manpages of sonic-pi in Debian stretch