gawk manual update: validgh.com -> validlab.com

[Paul Eggert]

validgh.com has been renamed to validlab.com.  Here's a patch to the
Gawk manual to update a URL.

--- gawk.texi   2002/05/09 21:32:46     3.1.1.1
+++ gawk.texi   2002/07/14 04:36:24     3.1.1.2
@@ -25701,7 +25701,7 @@ There is a very nice paper on floating-p
 David Goldberg, ``What Every
 Computer Scientist Should Know About Floating-point Arithmetic,''
 @cite{ACM Computing Surveys} @strong{23}, 1 (1991-03),
address@hidden@uref{http://www.validgh.com/goldberg/paper.ps}.}
address@hidden@uref{http://www.validlab.com/goldberg/paper.ps}.}
 This is worth reading if you are interested in the details,
 but it does require a background in computer science.