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.)
As the comments by this user have been consistently voted down and he cannot seem to take the hint, comments by him will be deleted/banned.
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.)