[plug] new PLUG server, help us find a name!

[Colin Muller]

On Sun, Jul 14, 2002 at 02:20:51PM +0800, Jason Nicholls wrote:
> So we need some new machine names and we want you to help! Post your
> suggestions to the list and we'll put up a website poll later on with the
> best.
> 
> Some themes and random names we've come up with:
> 
>     - bath(plug), ear(plug)
>     - cinder, ember, burn, bang, pop
>     - short, arc, fuse
>     - core

shameless

That's a suggestion, not a comment.

Colin