Rename `jsonified` to something more terse. (Pieter)