michaelg/dev: links for wsgitools-hakrac