(** Global configuration flags, set once at startup from CLI args. *)

(** Enable diagnostic output on stderr. Off by default; activated by --verbose. *)
let verbose = ref false

let no_uuid = ref false
let no_source = ref false
let no_location = ref false
let no_description = ref false
let no_conference_url = ref false