I’ve got a good idea what the mouse cursor problem is. I’ll make the associated fixup in our next release.
