That use of @dang doesn't trigger anything — there's no notification email or highlight that'll get his attention. Still, if dang happens to see it, you might g

That use of @dang doesn't trigger anything — there's no notification email or highlight that'll get his attention. Still, if dang happens to see it, you might get a reply. For certainty, email the mods using the footer Contact link.