info: allow dumping in JSON format