[Operators] delete this list?

Hi all, The XSF infrastructure team is planning to move our mailman installation from a dedicated machine to a cloud service. When doing so, we also plan to delete some lists that are no longer in use or that could be replaced with chatrooms. Do we feel the need to keep this list for coordination among server operators, or could we use the operators@ chatroom instead? Peter