Better Session Title — replace the DSH session topbar title with a workspace/session breadcrumb: switch workspaces and sessions right from the topbar.
This plugin has not published an npm package, so the store does not offer an install command yet. Use the repository link below to view the source.