Ben Hutchings, on jeu. 30 mars 2017 15:24:03 +0100, wrote: > they are likely to be outnumbered by those who do want them set.
Not only that, but the manual does document that such options *are* propagated to the installed system when placed properly. Not doing so is really unexpected behavior. Samuel
