venti

[A side note:

A number of people have reported not being able to connect
to sources.cs.bell-labs.com.  Our external DNS seems to be
very slow.  I'm not sure exactly what's wrong, but until we
fix it you can use:

        echo 'dom=sources.cs.bell-labs.com sys=sources ip=204.178.31.8' 
>>/net/ndb
        echo -n refresh >/net/cs

as a workaround.]

There's a new command venti/wrarena, which complements rdarena.