Add a mention of the JSON dump format to the Ref Guide, reference #740.