updated documentation for modular acl2 metadata