Respawn server (when useful and desired)
usermanual: respawning server, Windows, linkcolors, index, typos
Merge branch 'master' of https://github.com/fachat/XD2031