There isn’t a dev mailing list any more, is there? Do you mean the Discord forum?