We should see if setoptconf is a viable alternative to generaloption, cfr. https://github.com/jayclassless/setoptconf. It's not exactly actively maintained, nor does it have a community though...