doc: updated github links to reflect recent changes.
minor coding style fixes around the labels.