Update the workspace in the docs
@gcorti I will push here all the required changes in the docs for the release + some extra changes found on the way
Just the change to lb-set-workspace .
for now as it is already needed in the documentation.
Edited by Michal Mazurek