* Allow current RubotoCore to fail due to download problems from GitHub.  Yet again.