diff --git a/.github/workflows/python-app.yml b/.github/workflows/python-app.yml
index 35daabd8..b3226dfe 100644
--- a/.github/workflows/python-app.yml
+++ b/.github/workflows/python-app.yml
@@ -36,10 +36,6 @@ jobs:
       run: venv/bin/ruff check --output-format=github
     - name: Check ruff formatting
       run: venv/bin/ruff format --check --diff
-    - name: Install lualatex (temporary, until githubci docker image is updated)
-      run: |
-        apt-get update
-        apt-get install fonts-cmu fonts-noto-color-emoji texlive-luatex
     - name: Test with pytest
       run:  venv/bin/pytest
     - name: Run mypy
@@ -57,10 +53,6 @@ jobs:
     - name: Build debian packages
       run:  |
         make builddeb
-    - name: Install lualatex (temporary, until githubci docker image is updated)
-      run: |
-        apt-get update
-        apt-get install fonts-cmu fonts-noto-color-emoji texlive-luatex
     - name: Install debian package
       run:  dpkg -i ../kattis-problemtools_*.deb
     - name: Verify examples
diff --git a/admin/make_release.sh b/admin/make_release.sh
index 752bbbc4..a8e47732 100755
--- a/admin/make_release.sh
+++ b/admin/make_release.sh
@@ -68,9 +68,9 @@ if [[ $THIS_REPO_VERSION != $UPSTREAM_VERSION ]]; then
 fi
 
 
-echo "Below is untested, echoing commands instead of running them"
-echo "Creating a draft release on github"
+echo "Create a draft release on github"
 echo gh -R Kattis/problemtools release create -d v$VERSION
 echo "After finalizing the release on GitHub, please:"
-echo " - trigger the pypi release workflow"
+echo " - trigger the pypi release workflow (Run workflow on https://github.com/Kattis/problemtools/actions/workflows/pypi.yml )"
+echo " - git fetch upstream (pulling the tag to the local repo)"
 echo " - run $ROOT/admin/update_docker.sh v$VERSION"