It occurs to me that the time is ripe for a wholesale rethink of the system constructed from terminal-window-SSH-shell-computer. Loosely called shell or SSH but actually a different beast. Back in the