Added comment about new tcsh shortcut.