So. It has come to this.

This was not a real file. It was supposed to be EnergizerTop. But I typed. This led to problems early on, but I fixed them. Then we deleted files, but no one deleted it. So now I’m deleting it. Once and for all.