michaelg/dev: links for github-search