In the meantime my interest in Prime and its development is rather mediocre, so I won't bother to report. Furthermore I have not much confidence that a bug report, which has to be disguised as a support call, will ever find its way to R&D and lead to a fix.
↧