This stuff (and the User model) isn't even used.