As far as I can see, part of the mailing list has already been migrated. As of now, the latest post is about a month old, i.e. from the beginning of December 2019.
What happens to the posts between Dec 1, 2019 and Dec 31, 2019? Will they make their way into this forum?