Updated *acl2-broken-links-alist* to reflect recent :doc string change in ACL2 (only) User's Manual.