I'll just remove it. Unfortunately I already pushed one clean up commit. I'll wait and push another when you've reviewed the whole thing.