re: #383 windsagio

that’s what dinging is for :p

It’s pointless and just encourages people who shouldn’t be encouraged. It also crystalizes lines where there should be none.