Hah, I’ve been looking at gruvbox in a terminal and theming everything else with it for 7 or 8 years.