lsp-restart-workspace is deprecated and raises a warning in *Messages*: ‘lsp-restart-workspace’ is an obsolete command (as of lsp-mode 6.1); use ‘lsp-workspace-restart’ instead.