OK, since there hasn't been a reply within 6 months, I assume this is now fixed. So closing this ticket now.
OK, since there hasn't been a reply within 6 months, I assume this is now fixed. So closing this ticket now.