Manpages of kodi-bin in Debian stretch