raspberrypi-ui-mods binary: binary-without-manpage
