How do you get this magic annotation string?

[wireddown]

.Annotation("SqlServer:ValueGenerationStrategy", SqlServerValueGenerationStrategy.IdentityColumn) as in source

It's already part of the project that readers clone, so it's not covered in the tutorial.

I imagine you used dotnet ef migrations add InitialCreate (according to EFCore Migrations), but when I do this, the command picks up the Sqlite provider.