bug#41473: Not saving all user options

[Eli Zaretskii]

> From: "Philip K." <philip@warpmail.net>
> Date: Fri, 26 Jun 2020 21:59:51 +0200
> Cc: 41473@debbugs.gnu.org
> 
> > I don't see any.  Regarding your suggestions in particular, I think
> > the plist method would be the cleanest.  Four spaces strikes me as
> > overly cryptic.
> 
> The patch below should implement that behaviour. The property
> "custom-inhibit-save" doesn't seem to be used anywhere else, so that
> should be OK.

Can we please go a step back, and discuss why such a feature would be
needed?  Your original report says you are annoyed, but provides no
rationale and no real problems with the current behavior.  Could you
please elaborate on the nature of your annoyance?

Thanks.