Docs: remove extraneous file copy