Major Section: DOCUMENTATION
Example: ACL2 !>:help
See lp for general information about the top-level command environment for ACL2.