throw better IO_ERROR message on bad GITHUB URL, improved formatting and comments.
if https:// GET fails, report the URL