I think that's already been removed in another push, although I could be getting confused. Either way, it's not in my local files anymore, so should be removed if it's still there for whatever reason. :)