Turned github button into a real link, since it didn't make sense to use JS for it.