plug server changes

[Kyle Robinson]

I was getting plug in digest most on this account.  Do you think that 
changing the name broke that too?  Now I've got a load of plug in my inbox.

sjansen at buscaluz.org wrote:

>Some of you have probably noticed that hans changed the name of the
>pluglist. This had repercussions for more than just a couple of people's
>procmail filters. I think I've fixed most of the mailman Web issues.
>Although I plan on tweaking some stuff later. Unfortunately, the old
>plug archive hasn't yet been imported. This should be done Real Soon
>Now(tm).
>
>/me nudges hans
>
>As we transition to the new server, there's sure to be more bumps along
>the way. Please report any problems and we'll try to fix them as quick
>as voluntarily possible.
>
>  
>
>------------------------------------------------------------------------
>
>.===================================.                                           
>| This has been a P.L.U.G. mailing. |                                           
>|      Don't Fear the Penguin.      |                                           
>|  IRC: #utah at irc.freenode.net   |                                           
>`==================================='
>  
>