This was done mostly through translate.Google.com/toolkit. Unfortunately, I can't test right now, because pip3 install --user tox fails for me: lots of Requirement already satisfied… and then zsh: command not found: tox.
pip3 install --user tox
Requirement already satisfied…
zsh: command not found: tox
To use Gitpod you must first enable the feature in the integrations section of your user preferences.