Remove version numbers everywhere

.github/workflows/doc-build.yml

@@ -133,7 +133,7 @@ jobs:
           # Wipe out chronic diffs of old doc against new doc
           (cd docs && \
            find . -name "*.html" | xargs sed -i -e '/class="sidebar-brand-text"/ s/Sage [0-9a-z.]* /Sage '"$new_version"' /' \
-                                                -e '/<link rel="stylesheet"/ s/pygments.css?v=[0-9a-f]*"/pygments.css"/' \
+                                                -e '/<link rel="stylesheet"/ s/?v=[0-9a-f]*"/"/' \
                                                 -e 's;'"$mathjax_path_from"';'"$mathjax_path_to"';' \
                                                 -e '\;<script type="application/vnd\.jupyter\.widget-state+json">;,\;</script>; d')
           # Create git repo from old doc
@@ -169,7 +169,7 @@ jobs:
           # Wipe out chronic diffs of new doc against old doc
           (cd docs && \
            find . -name "*.html" | xargs sed -i -e '/This is documentation for/ s/ built with GitHub PR .*. Doc/. Doc/' \
-                                                -e '/<link rel="stylesheet"/ s/pygments.css?v=[0-9a-f]*"/pygments.css"/')
+                                                -e '/<link rel="stylesheet"/ s/?v=[0-9a-f]*"/"/')
           .ci/create-changes-html.sh $(cd docs && git rev-parse HEAD^) docs
           # Restore the new doc from changes by "wipe out"
           (cd docs && git checkout -f)