Make User's __eq__ case-insensitive.