Fix broken URLs caused by recent GitHub username change.