Re: init.sh: add option to preserve temporary files

[Paul Eggert]

Looks good to me.

Ordinarily I would just install innocuous changes like that...