* Describe the header on/off function in CSV files better https://github.com/souffle-lang/souffle/issues/1969 * Describe the JSON feature https://github.com/souffle-lang/souffle/issues/1675
