Documentation/wiki improvements

[Zillode]

@trusty66

I think a sidebar would be useful in documentation, specially when there two set of audience: developers and non-developers. I added one in this fork: https://github.com/cbhushan/syncthing/wiki

Good idea, feel free to reproduce this on the main wiki.

@trusty66

I am writing a python script to take all wiki and convert it to a single pdf with different sub-sections. I will be using the sidebar to get section/sub-section order etc. Does that sound reasonable?

Sure!

@trusty66

Also title of the wiki page “Project presentation” sounds out of place. Could “About Syncthing developers” be a better title?

Hmm, I dislike both titles:) ‘The Syncthing Umbrella’ as part of the dev sidepanel section?