Yes, it would be nice feature to have two kinds of banning. But there are so many other things on my todo list, and though this particular glitch attracted lots of attention, it happens vanishingly rarely and doesn't affect the site much. So there is a lot more payoff for users if I focus on e.g. ways to improve comment threads.