Merge "Docs: Remove extraneous files from repo"