Thanks for the explanation Ethan! So, it's not a bug, I should check the documentation/mailing lists more closely before posting bug reports... :) Sorry for the noise.
-- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
