When will convertUserOptions.php be run by update.php? I see newer users have their preferences stored in a different database table than older users. Will they be merged one day or just used in parallel forever?