Are the keyboard control keys documented anywhere? I know that Ctrl-C and Ctrl-V work to copy & paste but others seem a bit weird, e.g. is there a key to get back to the start of the command line - home doesn’t work? Also the Delete key appears to do the same as Backspace, i.e. it deletes the character before, not the character under the cursor.
Is it based upon some Linux terminal maybe?