michaelg/dev: links for dummypy-synthesis