On Wednesday, 7 September 2022 at 12:42:35 UTC, Mike Parker wrote:
If you haven't seen Walter's talk yet (or would like to watch it again), please give it a look and let me know if you uncover any major problems:https://youtu.be/iuP-AWUyjp8 Thanks!
Looks like high quality work. I jumped over a few topics but I saw nothing that needs to change.
