note hardcoding of KeyValDocument in Elephant{Input|Output}Formats