rename Config to UserPrelude, as per #85