Release update for 0.8.20

Version 0.8.20 · 2023-07-15

This release delivers improvements and stability updates for 0.8.20.