Tried on another Ubuntu 18.04 machine. Works fine there. Can close the bug thus, I guess, unless it affects other users.
Tried on another Ubuntu 18.04 machine. Works fine there. Can close the bug thus, I guess, unless it affects other users.