Hello Efraim, the branch looked already good before your latest update; so I think we can merge once the last commit is evaluated by QA (it has started and should finish in at most two hours) and the expected outcome of no new problems has materialised.
Andreas
