A time-stamp file is created by default.

Instead of the user having the option to add a time-stamp to the
init-file, a file is created for this purpose only.