Migrated to use new ShellPromptPlugin.