Adds a github ribbon, deletes a now superfluous link to our repo.