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
