Yes, mouse clicks are OK (so far). Highlighting text and pressing
Ctrl-C to copy to the clipboard does not work at all. Did work a few
minutes ago in version 5.11
The fonts seem to have added space above/below which makes it look
weird.
Let's see what else goes wrong...