Documented the compat_level setting, both for users and developers. Rev: server/base_server/configuration.pike:1.436