ACL2 Version 2.4 News