More JSON protocol backwards-compatibility fixes.

The root problem was that I removed a field from the JSON and recomputed
it from another field.  In order for the backwards-compatibility test
to work, I needed to manually re-add the removed field in order to
construct JSON that’s in the right (old) format.