[Mpi-forum] Votes at MPI-Forum meeting Feb 1+8, 2023 (related to Terms and Topologies)