@@ -9,6 +9,10 @@ Random TODOs related to the Wiki and infrastructure:
* look into lstlisting to see if we can do code highlighting or otherwise
better presentation of it in HTML.
* The Guide has
[this specific problem regarding the offsets of relative href links in a tags](http://stackoverflow.com/questions/14526334/bootstrap-anchors-and-body-top-margin-padding).
We should probably try one of those solutions.
* 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. There is