href="https://lists.gnu.org/archive/html/">the main index</a>.<br>
You can also <a href="https://lists.gnu.org/$LIST-NAME$/">download the archives in mbox format</a>.</em>
href="https://lists.gnu.org/archive/html/">the main index</a>.<br>
You can also <a href="https://lists.gnu.org/$LIST-NAME$/">download the archives in mbox format</a>.</em>