In order to comply with the file-naming requirements for
CD-ROM production, dashes in file names have been converted to
underscores.  You may find references to file names with
dashes in the documentation; use the underscore versions.
