Fix a couple of doc headers, make GitHub URL SSL.