Maybe someone (Jim, I suppose) could update the Web-Pages at debian.org.. They are seriously out of date. The last message is from Jan '99, it looks like this port is dead, nobody working on it. But as far as I can see the contrary is true. Just a hint. -- CU Jan-Uwe ------------------------------------------------- PGP-Public-Key on Request.