Release update for v1.0.2

Version v1.0.2 · 2023-11-02

This release delivers improvements and stability updates for v1.0.2.