Editorial: Internet companies shouldn’t leave Russia. They shouldn’t become its tools, either. (Washington Post)