Oops. This commit removes some unrelated files from the repo