I don't understand why this file is part of the PR. It seems harmless enough, but unrelated and I'd rather not have it here.