Richard Smith wrote: > Done. Is it safe to have the wiki open for anonymous editing? Won't > we get spammed soon? Fixing that is close to the top of my ~/todo. -- Ivan Krstic <krstic at fas.harvard.edu> | GPG: 0x147C722D