Terminal to Workspace

[Meg1211]

No description provided.

[Meg1211]

@DidierRLopes ready for review - @andrewkenreich is going to work separately on the Terminal URLs but all the main text should be updated here.

[andrewkenreich]

TODO :

We need to rename the widgets library stuff with this one -

in generate_widgets_library.py

Without doing this the docs wont build - and then the images wont load either for frontend.

[andrewkenreich]

im not sure what to do here either - asked rita and didier -

@Meg1211 can you check what i did here just from running it - Think everything is good here besides my earlier comment

[DidierRLopes]

I don't think we use /pro anywhere anymore? We merged that into /terminal in the past. So should be a matter of just putting all under /workspace for now.

@andrewkenreich @Meg1211

[Meg1211]

Just checked it and works for me! @andrewkenreich @DidierRLopes