Terminal Shortcuts extension added