Ok, thanks. I can't tell from github's diff viewing, this file just went away?