Little things, formatting, & make markers (WHICH NEED TO BE REMOVED AND
THE TASKS PUT IN TASK LIST, before merging with the master branch)
for things that need later attention, like bugs.
Couple of bugfixes (yes, with unit tests would be better, but priorities at
the moment...), and more from last commit.
Use modified version of jline2 in a way that allows one to press ESC to exit
or cancel an editing operation.
Also a little reformatting, and fix a message like previous commit.
wip