You can probably email dang (probably @ycombin…) if you want. Mentioning his user name here might be enough too.