On Tue, Oct 12, 2021 at 11:07:53AM +0100, Mark Hindley wrote:
> At least you have a workaround that will avoid the issue for you again. If you
> get any other ideas about clean fixes, do say.

Why not just refuse to *update* to 0 at shutdown. It seems like 0 is a
special case the user is fairly unlikely to have set it to themself (but
if they do want 0 they are probably technical enough to update the
setting file on their own).

-Jacob