saving customizations became _really_ slow
i hve noticed that saving customizations has become _really_ slow
do someone else noticed this behaviour?
i'd say that it happened at some point in 21.2, as i have 21.0.67, aka
21.1, on hpux and it is _fast_ at saving options