Allows editing the user's global instructions file directly from the web settings interface.
dsh plugin --profile web add dsh-global-prompt
View the source on GitHub