%%mtime macro expands to last modification time of
the source document. It is useful to register when the file was last
changed. This macro is a "sister" of the
%%date macro, so it accepts exactly the same formatting directives.
As an example, this User Guide source file was last edited on Sun
Oct 31 00:26:16 2010. This date was expanded from