Hopefully standardizing some file headers; removing some old files [ci
skip]