o-l-dev.tex now produces links to github for ease of commenting