@@ -6,7 +6,6 @@ Random TODOs related to the Wiki and infrastructure:
* /guide/ link to gitorious is broken due to rename
* no history link for each page (usually by recent changes, etc) loses major wiki affordance, cf <https://ikiwiki.info/users/joey/> ... looks to require [configuration](https://ikiwiki.info/pagehistory/)
* 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