Hi.

You have a very complete summary :)

By the way, do you remember when the Discord channel started? I don't know much how it is used, but I think it is also a milestone to highlight.