re: #657 Charles

Huh? What’s the ding for? Do you advocate simply ignoring, in which case there’s not much point in having him here?