But I agree that we should serve the script from somewhere else eventually, Github may have limitations of traffic per user for this sort of stuff… Or maybe not.