Due to the reorganization of the repository, some links to GitHub became broken. This commit fix them.
src