I’m not sure that wholesale deletion of comments prior to banning is ideal in this case, in that it a) substantially disrupts the flow of conversations that occurred and b) makes it very difficult for an interested lurker to realize what was occurring. I don’t see a good reason to delete the existing comments (many seem to be merely wrong) although I agree with banning the individual.
I think “ban” is actually the term the Reddit/LW software uses for deleting a comment if you’re an editor rather than the original poster. It doesn’t refer to banning the user.
(I could be mistaken about what he means by it in this case, but I distinctly remember some past discussion to that effect.)
I’m not sure that wholesale deletion of comments prior to banning is ideal in this case, in that it a) substantially disrupts the flow of conversations that occurred and b) makes it very difficult for an interested lurker to realize what was occurring. I don’t see a good reason to delete the existing comments (many seem to be merely wrong) although I agree with banning the individual.
He meant “further comments”.
I think “ban” is actually the term the Reddit/LW software uses for deleting a comment if you’re an editor rather than the original poster. It doesn’t refer to banning the user.
(I could be mistaken about what he means by it in this case, but I distinctly remember some past discussion to that effect.)