(config-migration) Don't modify [profile.dist] until after migrations; consolidate migrations under one prompt.#1704