Merge branch 'release/0.80.25' into develop
migration: adapt the vacuum.
version bump for 0.80.26.
Merge branch 'release/0.80.26'