v0.23.5

StippleUI v0.23.5

Diff since v0.23.4

This release has been identified as a backport.
Automated changelogs for backports tend to be wildly incorrect.
Therefore, the list of issues and pull requests is hidden.