time for release 0.8.23 maybe

[samveen]

There were 8 releases in 2021, and 4 in 2022. It's been 6 months since the last release. How about we get a new release now?

[myers]

I would really like a release with this PR in it: #1492