JSON im-/export format

Beyond a restricted number of sources, substitutions, or regular expressions, it becomes tedious to configure instances of widgets Text Files, URLs, Recode, and Segment using their advanced interface. To alleviate this issue, these widgets enable the user to import or export manually edited configuration lists in JSON format as described in the following sections.