texi2md: changed SSH URL to a public URL