Re: Using google search for www*.xemacs.org? (was: [PATCH] search engine addition)