I forwarded it upstream and there was no clear conclusion whether it's a bug or a feature. Maybe it gets fixed sometimes.
Regards, Milan Zamazal -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
