Since people have already asked me in private email - oss.sgi.com has
crashed on Saturday and I don't know how to reach somebody who could
fix the problem. Today is public holiday in the US so I assume oss
should be back in service tomorrow. That also means that you please
shouldn't mail me on my oss address but my gnu.org or other address until
oss is fixed.
Sorry for the inconvenience,
Ralf