re: #646 imp_62

I have no problem with the existence of an ignore button. I just wouldn’t use it. And if someone chose to ‘ignore’ someone other than a complete troll, I’d think much less of them.