Text editor bug
Using the in-built text editor, the "page-up" and "page-down" respond correctly but "home" and "end" do not work. I'm on a Windows 10 machine and running the latest version 5.9.3. I have tried this on a different Windows 10 machine with the same behavior.