ACL2 System and Books as Mainted by the Community