release_summary: Bugfix release for some bugs discovered right after the 2.5.0 release.