Derp, forgot to remove an unnecessary file

To be added back when ready; see earlier removal commit.