This bug seems to have been overcome by events/spontaneously disappeared a few days after my report, and has since not resurfaced. I suggest the bug report be closed.
-- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]