Terminal: setting up terminals on your server now takes one command. In Terminals Settings, the new "Copy install command" button copies it with everything filled in, including your workspace's secret.
Terminal: the setup command now connects your website to terminals by itself. It first checks that it is running on the right server and using the right files folder, and if anything does not match it stops without changing anything.
Fix
Terminal: the setup and the instructions in Terminals Settings now match, so following one no longer contradicts the other.
Terminal: terminals no longer fail to start on a server where the same workspace had been set up earlier under a different name.