DISFIX replaces host "nicknames" currently present in the host table with
official names.  This should be done to ensure that addresses continue to
be valid as we make the transition to domain names, since some nicknames
will stop working.  To run DISFIX:

    .r disfix
    File name?

Type the name of the file containing your distribution list.  The updated
file will replace the old one, and the old one will be renamed to have an
extension ".OLD".  The program will report any errors, and then repeat its
prompt to let you convert another file.  Type <return> to exit.