Reference of all Ghostty configuration options.