JSON: Rename single-parameter getString to getStringOrDie to emphasize the danger.