wiki sidebar in disarray

[Antonio Piccolboni]

Hi, 

if anyone has noticed problems with sidebar contents in the wiki, we have too, but it's a github problem that they have acknowledged and are working on. For now, you can always open the complete list of pages, just above the sidebar, and pick from there.

Antonio

[Antonio Piccolboni]

This seems to have been fixed by the helpful folks at github.