reflect fact that tex2page is now on github