In that case I'll just remove the file. I'll put the filename in the commit message so @rgommers can more easily dig it up if he wants ;)