Who are the Reddit admins?

[removed]