Removes Redfox from admins.txt.

Seriously, he resigned. It's time we did something about that.