- Patch #9654 by Bart: since the $category paramater was added to user_save,
  update 80 (moving the profile fields to their own tables) no longer works.