@@ -9,12 +9,16 @@ Random TODOs related to the Wiki and infrastructure:
* no diff link in rcentchanges loses major wiki affordance, cf <https://ikiwiki.info/recentchanges/> ... looks to require [plugin](https://ikiwiki.info/plugins/recentchangesdiff/)
* "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
a proprietary re-licensed product and therefore non-optimal.
* SVG file needs additional pixels on edges to avoid
[clipping](https://bugzilla.mozilla.org/show_bug.cgi?id=1056949). The
banner on the front page is now a PNG, but we have an SVG of it, but
someone needs to bad the SVG file, as [[users/wolftune|wolftune]] argues