Hello, I'm preparing to migrate to Flarum 2.0, and I've noticed something: I'm using the Nicknames extension with the “Randomize Usernames” and “Require unique nicknames” options. In Flarum 1.8, IDs were generated as 20-digit numbers. In Flarum 2.0, this seems to have changed, and it looks like this: "user_bf46e1fc".
How is the migration of the old 20-digit user IDs going? Will these be updated automatically, or is there a specific process to follow? Is that a problem? Do I need to update the old usernames? Thanks!