Quick links: content, navigation, search.
Add dbg_dict_dump_json extension.
This extension dumps the whole dictionary to stdout during startup, in JSON format for dict_json.
TODO: it throws quite a bit of warnings