> did anyone bring this up with the austin group already, or should i > file a bug? I haven't filed anything with the Austin Group, and I don't plan to. I'd appreciate if someone else could do it. Thanks, Florian