I figured we'd use it later, in which case keeping it is easier than looking through previous commits. But I can rm if you prefer.