Thanks for the comment. This was part of my 2 comment experiment to see if ChatGPT summaries would be appreciated. The only other comment https://news.ycombinator.com/item?id=45477313 got a downvote. So they are not appreciated and I won't post any more.
