Tutorial: Connect a remote machine to the Web IDE (removed)

This feature was removed in GitLab 17.2. Use remote development instead.