"Edit as JSON" option for `text` AKA `list[str]` properties
At the moment, lists of strings are configured with a text box where strings are plain and separated by newlines.
The user might however already have a list in python/JSON list format, if copying from an existing opts file. Recycling the JSON editor used to configure {str:str}
would help here.