(#192) Rename HuxleyUser to User.