No very exciting changes. The most important is that the documentation
has been updated in various ways - including the use git.
Also there are some documentation styling improvements to the
In the REPL if JLine is used then you can use the
mouse to move the cursor on xterm-like terminals. This conflicts with
making a select for copying text; use shift-drag to access the
terminal's builtin mouse handling, including text selection.