Just to be safe, I named it `GHI.config('ghi.highlight.style')` now.