(* These are the users! *)
| MsgMultiConfig of string list
(* Multiple Domtool sources in dependency order *)
+ | MsgRmdom of string
+ (* Remove all configuration associated with a domain and revoke rights
+ * to that domain from all users. *)
+ | MsgRegenerate
+ (* Make a clean slate of it and reprocess all configuration from scratch. *)
end