Maybe just add a button to download the results as JSON or a `|`-separated file.
Maybe just add a button to download the results as JSON or a
|-separated file.