Do we actually use this file? It's not under `src/` or similar. If it's totally unrelated, let's remove it from the repo. If it's an intermediate creation, let's remove it and add it to `.gitignore`.