RedirectedUrl: version 8.6: HOMEPAGE: permanently redirected: https://www.cs.utexas.edu/users/moore/acl2/ -> https://www.cs.utexas.edu/~moore/acl2/