The ACL2+Books "bleeding edge" manual has been moved to:
https://acl2.org/doc/.

That is probably the best ACL2+Books manual to use, but if you want the manual for the latest ACL2 release, you can find it at http://www.cs.utexas.edu/users/moore/acl2/current/combined-manual/.