See the DOCUMENTATION section of installation.html for an explanation of the
accessing the ACL2 User's Manual.
