* Get a sensible default even if raw.githubusercontent is down.