Re #6168. Write out a file with the revision number in it.