michaelg/dev: links for python-tools-dir