For completeness - this is by now a known bug
This topic was automatically closed 120 days after the last reply. New replies are no longer allowed.