re: #709 Naso Tang

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

Oops, it was an accident. I reversed it.