3 (************************************)
4 (* Never edit options files when
*)
5 (* the daemon is running
*)
6 (************************************)
8 (* These options must be read first
*)
9 (************************************)
16 The following options are not used
(errors
, obsolete
, ...
)