Thanks; you're right. That's been discussed on the mailing lists recently, and I missed it here.