doc: Fix github URLs.