It's been a little while since there was a point release (April 2023). Perhaps we should make one?
aae7c686