{
  mujmap-defaults = ./mujmap-defaults.nix;
  mujmap-fqdn-and-session-url-specified =
    ./mujmap-fqdn-and-session-url-specified.nix;
}