Definition jsonMetadataM (mvs : list metadataValue) : json :=
  JsonObject (map (fun k => (mKey k, JsonString (mValue k))) mvs).
