michaelg/dev: links for tikz2pdf