I don't think this file belongs in this PR, either.