Hello all,As part of work funded by the TLA+ Foundation I have written up a newsletter on various community developments over the past month or two. This is hoped to be a monthly publication. Here is the post for December 2024: https://foundation.tlapl.us/blog/2024-12-dev-update/index.htmlSince this is the first newsletter published it's inevitable I missed some things; so if you wrote a blog post about TLA+ or made a contribution to the TLA+ tools that I missed or are working on a side-project of your own related to TLA+, please let me know by replying directly to me in this thread or opening an issue here! No need to be humble or shy.Andrew Helwer