Fix broken doc link for Workspace in the Sources panel
Fix broken doc link for Workspace in the Sources panel

Bug:1203635
Change-Id: I5a1215f6079047d81795fad83b1267b8c4eac5fd
Reviewed-on: https://chromium-review.googlesource.com/c/devtools/devtools-frontend/+/2944257
Commit-Queue: Jecelyn Yeen <f9d8706cc517861f2adda0a78fda4fb3953b5665@chromium.org>
Reviewed-by: Mathias Bynens <17a2cbc4e33156874a9862b0f530521117e66a3d@chromium.org>
Reviewed-by: Yang Guo <1cf0af8245a3a17a632a2c73531392b0f9761c76@chromium.org>

ChromeDevTools/devtools-frontend,ChromeDevTools/devtools-frontend,ChromeDevTools/devtools-frontend,ChromeDevTools/devtools-frontend,ChromeDevTools/devtools-frontend,ChromeDevTools/devtools-frontend