Mail me at my username at duck.com and I’ll send you the handles of the account, you can search GitHub yourself. Some threads were deleted though.