Problem occurred again about 2 hours later. Logging off and on again fixes the problem for a while. Now trying the workaround from the bug description.
Problem occurred again about 2 hours later. Logging off and on again fixes the problem for a while. Now trying the workaround from the bug description.