Oops, this file was apparently never added to the repository. Now it is.