OK, I'll delete it.  It's always there in the git history if we need to refer to it later.