Would some kind person remind me what the correct server name is for gmane. I tried looking at the archives via html, but don't see any search function and I don't have the recent email that spelled it out. thanks nepal.