Fix remote-server docs inconsistency regarding toolset at base url#2217
Open
korobitsin wants to merge 2 commits intogithub:mainfrom
Open
Fix remote-server docs inconsistency regarding toolset at base url#2217korobitsin wants to merge 2 commits intogithub:mainfrom
korobitsin wants to merge 2 commits intogithub:mainfrom