Revert accidentally committed change to config.
Add support for github links from the github property.
Add github property to project pages.
Fix some inconsistency with toc generation.