Migrated preferences include the prelude framework