[doc] GitHub repository info added to the Introduction