Some questions that have come up:

• What happens in migrations when you change the seed or increment values?
• Does the model snapshot call the fluent API?
• Should the two model annotations be consolidated into one?