Experiment to see if GitHub servers run PHP