Nicolas Pierron <nicolas.b.pierron at gmail.com> writes: > Which is not highly important in our case. The name "sub-config" is > coming from this idea. But this is a bad naming for small sets. May > be "mkOptionSet" could be better, what do you think? Yes, that'd be nicer to me. Thanks, Ludo'.