diff --git a/.gitignore b/.gitignore
index 8670afc6..09f67f50 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,6 +4,14 @@ build*/
 python-client/
 openapi-generator-cli.jar
 
+# make_doc.sh: rendered HTML (default output dir) and the throw-away venv it builds in. The venv is
+# normally deleted at the end, but stays behind when the build fails.
+public/
+tmp_venv/
+
+# gen_python_client.sh: the built sdist/wheel.
+/dist/
+
 # rugnux_vs_xds.py output dirs (the default, and the ad-hoc ones used when comparing runs)
 rugnux_cmp*/
 
diff --git a/docs/python_client/README.md b/docs/python_client/README.md
index 07c512ca..87c34b4b 100644
--- a/docs/python_client/README.md
+++ b/docs/python_client/README.md
@@ -37,9 +37,9 @@ Python 3.9+
 If the python package is hosted on a repository, you can install directly using:
 
 ```sh
-pip install git+https://git.psi.ch/jungfraujoch/jungfraujoch.git
+pip install git+https://gitea.psi.ch/mx/jungfraujoch.git
 ```
-(you may need to run `pip` with root permission: `sudo pip install git+https://git.psi.ch/jungfraujoch/jungfraujoch.git`)
+(you may need to run `pip` with root permission: `sudo pip install git+https://gitea.psi.ch/mx/jungfraujoch.git`)
 
 Then import the package:
 ```python
diff --git a/gen_python_client.sh b/gen_python_client.sh
old mode 100644
new mode 100755
index 87492a55..c5d7c303
--- a/gen_python_client.sh
+++ b/gen_python_client.sh
@@ -6,7 +6,7 @@ VERSION=$(<VERSION)
 OPENAPI_VERSION=7.20.0
 wget https://repo1.maven.org/maven2/org/openapitools/openapi-generator-cli/${OPENAPI_VERSION}/openapi-generator-cli-${OPENAPI_VERSION}.jar -O openapi-generator-cli.jar
 
-java -jar openapi-generator-cli.jar generate -i broker/jfjoch_api.yaml -o python-client/ -g python --git-host=git.psi.ch --git-repo-id jungfraujoch --git-user-id jungfraujoch --additional-properties=packageName=jfjoch_client,packageVersion=$VERSION
+java -jar openapi-generator-cli.jar generate -i broker/jfjoch_api.yaml -o python-client/ -g python --git-host=gitea.psi.ch --git-repo-id jungfraujoch --git-user-id mx --additional-properties=packageName=jfjoch_client,packageVersion=$VERSION
 cd python-client
 sed -i s/"NAME = \"jfjoch-client\""/"NAME = \"jfjoch_client\""/ setup.py
 python3 setup.py sdist bdist_wheel
diff --git a/make_doc.sh b/make_doc.sh
old mode 100644
new mode 100755
index 68b33144..58aa31f8
--- a/make_doc.sh
+++ b/make_doc.sh
@@ -35,11 +35,13 @@ OUT="$(cd "$OUT" && pwd)"
 # Run from the repository root regardless of where the script was invoked from.
 cd "$(dirname "$0")"
 
+# Remove the throw-away venv however we leave, so a failed pip/sphinx run does not litter the
+# working tree (set -e would otherwise skip the cleanup below).
+trap 'rm -rf tmp_venv/' EXIT
+
 "$PYTHON" -m venv tmp_venv/
 source tmp_venv/bin/activate
 
 pip install -r docs/requirements.txt
 
 sphinx-build -b html docs "$OUT"
-
-rm -rf tmp_venv/
diff --git a/update_version.sh b/update_version.sh
old mode 100644
new mode 100755
index 3796924e..36138dff
--- a/update_version.sh
+++ b/update_version.sh
@@ -46,7 +46,9 @@ git rm -r broker/gen/model docs/python_client frontend/src/client
 # from the API keeps its generated model and its published .md page for good.
 rm -rf python-client
 
-java -jar openapi-generator-cli.jar generate -i broker/jfjoch_api.yaml -o python-client/ -g python --git-host=git.psi.ch --git-repo-id jungfraujoch --git-user-id jungfraujoch --additional-properties=packageName=jfjoch_client,packageVersion=$VERSION
+# The --git-* properties only end up as the source URL in the generated README/pyproject; they must
+# name the current repository (gitea.psi.ch/mx/jungfraujoch), not the retired git.psi.ch instance.
+java -jar openapi-generator-cli.jar generate -i broker/jfjoch_api.yaml -o python-client/ -g python --git-host=gitea.psi.ch --git-repo-id jungfraujoch --git-user-id mx --additional-properties=packageName=jfjoch_client,packageVersion=$VERSION
 java -jar openapi-generator-cli.jar generate -i broker/jfjoch_api.yaml -o broker/gen -g cpp-pistache-server
 
 # Bump package.json BEFORE npm install, so the regenerated package-lock.json records the