diff --git a/RELEASE_NOTES b/RELEASE_NOTES
index 899869f8b..7eeac7fb7 100644
--- a/RELEASE_NOTES
+++ b/RELEASE_NOTES
@@ -3,7 +3,6 @@ RELEASE NOTES
 Version 4.8.next
 ================
 - Planned features
-  - rewritten arithmetic solver replacing legacy arithmetic solver and on by default
   - self-contained character theory, direct support for UTF8, Unicode character sets
   - specialized solver support for QF_ABV and ABV based on lazy SMT and dual reduction
     - the smtfd solver and tactic implement this strategy, but is not prime for users.
@@ -12,6 +11,10 @@ Version 4.8.next
     option, but at this point does not translate into benefits. It is currently 
     turned off by default.
 
+Version 4.8.10
+==============
+  - rewritten arithmetic solver replacing legacy arithmetic solver and on by default
+
 Version 4.8.9
 =============
 - New features
diff --git a/scripts/release.yml b/scripts/release.yml
index 078108262..59fc24d05 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -293,6 +293,11 @@ stages:
       inputs:
         artifact: 'WindowsBuild-x86'
         path: $(Agent.TempDirectory)
+    - task: DownloadPipelineArtifact@2
+      displayName: "Download Python"
+      inputs:
+        artifactName: 'PythonPackage'
+        path: $(Agent.TempDirectory)
     - task: DownloadPipelineArtifact@2
       displayName: 'Download Win64 Build'
       inputs: