Document Web Terminal configuration

Problem to solve

People can connect to a server-based runtime and get feedback in the Web IDE terminal but we need to tell them how this is possible in our documentation. This issue tracks that work.

Functionality we gain compared to our previous Web Terminals

Functionality we do not gain compared to our previous Web Terminals

Edited Jan 09, 2023 by David O'Regan