doc/contribute.texi: nicer link