Update README again; this is also a test for the Jenkins Git build trigger.