This old/ directory contains old versions of files in its parent
directory.  Each file has the same name with which it was formally
available, except a date string is appended to each file containing
the date it was obsoleted and moved to this old/ directory, formatted
as .YYYYMMDDHHMMSS.

Very old versions of some files may not be available.