I make use of the add-migration command in the package-manager console to write migrations. It leads to including 3 classes (migration.cs, designer.cs,