clean up: git rm many files
also, tweak Sockets/README.txt