1. Is the documentation at http://openmcl.com/Distributions/Documentation.html#Documentation more current than the documentation at http://openmcl.com/Doc/index.html ? 2. If so, where can I get a copy of openmcl_documentation.texi ? 3. Are there opinions on whether I should keep this in texinfo format moving forward?