The list servers seem to have suffered a small bump in the last couple of days. Let's see if this goes through correctly. -- Gustavo Niemeyer http://niemeyer.net