Migration: Actually add the field and rename the migration

The other code, kept from the original commit, is no longer necessary
since we removed that field when we switched the User model.

The migration is renamed since it just adds a new field.