$ dsh plugin --profile web add --allow-build=@dsh-external/dsh-side-panel github:DDDFXYqiming/Agent_Extensions#path:dsh-plugins/dsh-side-panel-patchedRun the command above in your terminal to install this plugin via the dsh CLI. You can switch Profile in the top-right corner. New to dsh? Read the beginner tutorial