This slipped through the cracks. I Closed it (as suggested by @emmanuel) because the report is quite old at this stage, and we're not sure whether it's still an issue. If anyone thinks this is still relevant, then please open a new issue.