Clean up Synergy option descriptions a bit
Remove remaining references to Upstart
Remove unused file
Manual: Mention other ways to get NixOS
Manual: Document how to use NixOS channels