HuffPost policy banishes trolls - and drives away some frequent commenters