> From: Diane Bruce
> Works fine.
Probably a left-over cached entry; neither my ISP's DNS, nor MIT's ("Host
gunkies.org not found: 3(NXDOMAIN)") can resolve it at the moment.
One year Tore was off hiking or something, and it took a few days, but past
experience is that he will get to it. (But I'd like to not have to depend on
him.)
Noel
