Release update for v0.9.4

Version v0.9.4 · 2023-07-27

This release delivers improvements and stability updates for v0.9.4.