v3.0.13

Released on Jul 31, 2023 (diff).

• No significant changes.

• Updated dependencies for development and testing.