Getting StartedConfigurationVersion: 5.0.0ConfigurationEach section of the documentation explains how to configure TerosHDL. E.g.:Errors checker configurationDocumenter configuration