I have >2500 karma and I also don’t see any ban options on that menu, just a report option and two different ways to subscribe to that user. I’m the kind of person who actually really badly needs this feature, probably for way more important and valuable reasons than the average Lesswrong user (personal preference or dislike is not a factor).
You need to set a moderation guideline on any post from which you want to ban people (and if you just want moderation guidelines on all your future posts, you can just set them on your profile under the moderations option section).
I have >2500 karma and I also don’t see any ban options on that menu, just a report option and two different ways to subscribe to that user. I’m the kind of person who actually really badly needs this feature, probably for way more important and valuable reasons than the average Lesswrong user (personal preference or dislike is not a factor).
You need to set a moderation guideline on any post from which you want to ban people (and if you just want moderation guidelines on all your future posts, you can just set them on your profile under the moderations option section).