This was not meant to find its way into the repository, so
I deleted it.