The bug is solved since a few months. If there are still issues for some users, please re-open this bug.
The bug is solved since a few months. If there are still issues for some users, please re-open this bug.