Partially revert a2980c0e843b2c2a and convert to option helpers. What
had been discussed was the support for higher-level Gnomish components,
while lower-lever Gtkish ones are apparently still in use by the ports,
e.g. `math/alt-ergo' and possibly other out-of-tree consumers.

Requested by: amdmi3