Sync `stable` into `master` after v0.3.1 release#4203

Merged

p-i- merged 3 commits intomasterfrom stable

May 15, 2023

Commits on May 2, 2023

Release v0.3.0 (#3683 )
Pwuts
authored

Commits on May 14, 2023

Release 0.3.1 (#4201 )

authored

Commits on May 15, 2023

Merge branch 'master' into stable
p-i-
authored