This is not an end user doc but a specification that explains why the JsonDumper behaves the way it is