Remove unnecessary manual stable alias

Author: jayqi

.github/workflows/docs-publish.yml

@@ -65,24 +65,11 @@ jobs:
           VERSION_TAG=$(uv run vspect read . "${{ github.event.inputs.version-format }}")
           echo "VERSION_TAG=${VERSION_TAG}" | tee -a $GITHUB_OUTPUT
 
-      - name: Retitle old stable version
-        if: github.event.inputs.is-stable == 'true'
-        working-directory: docs/
-        continue-on-error: true
-        run: |
-          VERSION_JSON=$(uv run mike list stable -j | tee /dev/stderr)
-          TITLE=$(echo $VERSION_JSON | jq -r '.title' | sed 's/ (stable)//')
-          echo "TITLE=${TITLE}"
-          uv run mike retitle stable "${TITLE}"
-
       - name: Deploy as version
         if: github.event.inputs.deploy-as == 'version'
         working-directory: docs/
         run: |
           TITLE=$(uv run vspect read .. "v{version}")
-          if [[ "${{ github.event.inputs.is-stable }}" == "true" ]]; then
-            TITLE="${TITLE} (stable)"
-          fi
           TAG=${{ steps.get-version-tag.outputs.VERSION_TAG }}
           uv run mike deploy --push $TAG --title="${TITLE}"