In the next week or so, the host that receives mail addressed to AI.SRI.COM will change from Warbucks.AI.SRI.COM to Sunset.AI.SRI.COM. Archives will continue to be kept on Warbucks for the near future. I don't expect anything to go wrong but.... Please continue to use the address SLUG@AI.SRI.COM for mail to SLUG. Ditto for SLUG-* for all the other SLUG related mail.