New features in 0.8.25

This release does not introduce new features, but includes enhancements.