For consistency, could all of the github repo names be links?