Thanks for the quick reply. If Ruud says nothing's changed, does that mean he's not going to be looking at the issue? Is there a bug report forum where we could formalize this question?