Do not remove or stop proxy unless indicated

[roborourke]

Fixes #262

[hm-backport]

The backport to v6-branch failed:

Commits ["9fa9a3b78cb3822cdec9960d1f99a050fa69ea77"] could not be cherry-picked on top of v6-branch

To backport manually, run these commands in your terminal:

# Fetch latest updates from GitHub.
git fetch
# Create new working tree.
git worktree add .worktrees/backport v6-branch
# Navigate to the new directory.
cd .worktrees/backport
# Cherry-pick all the commits of this pull request and resolve the likely conflicts.
git cherry-pick 9fa9a3b78cb3822cdec9960d1f99a050fa69ea77
# Create a new branch with these backported commits.
git checkout -b backport-391-to-v6-branch
# Push it to GitHub.
git push --set-upstream origin backport-391-to-v6-branch
# Go back to the original working tree.
cd ../..
# Delete the working tree.
git worktree remove .worktrees/backport

Then, create a pull request where the base branch is v6-branch and the compare/head branch is backport-391-to-v6-branch.

[hm-backport]

The backport to v7-branch failed:

Commits ["9fa9a3b78cb3822cdec9960d1f99a050fa69ea77"] could not be cherry-picked on top of v7-branch

To backport manually, run these commands in your terminal:

# Fetch latest updates from GitHub.
git fetch
# Create new working tree.
git worktree add .worktrees/backport v7-branch
# Navigate to the new directory.
cd .worktrees/backport
# Cherry-pick all the commits of this pull request and resolve the likely conflicts.
git cherry-pick 9fa9a3b78cb3822cdec9960d1f99a050fa69ea77
# Create a new branch with these backported commits.
git checkout -b backport-391-to-v7-branch
# Push it to GitHub.
git push --set-upstream origin backport-391-to-v7-branch
# Go back to the original working tree.
cd ../..
# Delete the working tree.
git worktree remove .worktrees/backport

Then, create a pull request where the base branch is v7-branch and the compare/head branch is backport-391-to-v7-branch.

[hm-backport]

The backport to v8-branch failed:

Commits ["9fa9a3b78cb3822cdec9960d1f99a050fa69ea77"] could not be cherry-picked on top of v8-branch

To backport manually, run these commands in your terminal:

# Fetch latest updates from GitHub.
git fetch
# Create new working tree.
git worktree add .worktrees/backport v8-branch
# Navigate to the new directory.
cd .worktrees/backport
# Cherry-pick all the commits of this pull request and resolve the likely conflicts.
git cherry-pick 9fa9a3b78cb3822cdec9960d1f99a050fa69ea77
# Create a new branch with these backported commits.
git checkout -b backport-391-to-v8-branch
# Push it to GitHub.
git push --set-upstream origin backport-391-to-v8-branch
# Go back to the original working tree.
cd ../..
# Delete the working tree.
git worktree remove .worktrees/backport

Then, create a pull request where the base branch is v8-branch and the compare/head branch is backport-391-to-v8-branch.