Founder and primary developer of Moderator Toolbox for Reddit quits both Reddit and the project