I think I'm going to continue taking the option most of the time anyway when I sit down at a terminal to use the commando line . . .