rename "config" to "user prelude" everywhere.