2017.03.24 18:20:05 (845324353214599170) from Daniel J. Bernstein, replying to "Wim Remes 🐀 (@wimremes)" (845319776994054145):
Huh? "I pointed out various problem-resolution options, including ombudsmen and mediators." He showed no interest.