If download of Chrubix GitHub repo impossible (sometimes, final push
ends up disabling Internet, for example) then report a nonfatal error
and continue.