@@ -10,7 +10,6 @@ Random TODOs related to the Wiki and infrastructure:
* "This Page's Discussion" link obtains "Error: bad page name".
* look into lstlisting to see if we can do code highlighting or otherwise
better presentation of it in HTML.
* Brand mailman page with copyleft.org header, etc.
* Set up [Kallithea for the project](https://kallithea-scm.org). We are
currently [using gitorious](https://gitorious.org/copyleft-org/), which is