v3.1.3

Released on Aug 18, 2023 (diff).

• No significant changes.

• Updated dependencies for development and testing.