. . . with GTK4 already out there. Anyway, I’ll stick with menuconfig, since it’s better for configuring a kernel on a system that doesn’t yet have a GUI.