use a better permalink for code on GitHub