From kicad-install.sh, issue instructional aid on setting KIGITHUB if not already set.