Fix @certik's github path

Previously it was pointing to the wrong domain.