tweak doc style, give headings more space
remove (currently) obsolete pages
merge short welcomes pages into one page overview
typo fix
fix sidebar highlighting, tweak headings
fix typos, tweak headings
add details on using private repos