Use friendlier repo URL in code docs