Corrected modular acl2 metadata generation.
updated documentation for modular acl2 metadata