[Mpi-forum] Reading requests May 2022 from the RMA WG

[Joseph Schuchart]

The RMA WG would like to read the following proposals:

- Fix semantic terms in RMA chapter: 
https://github.com/mpi-forum/mpi-standard/pull/611
- RMA: Add missing win-sync calls to Example 12.21: 
https://github.com/mpi-forum/mpi-standard/pull/663/files
- MPI_Win_free is synchronizing, except when it isn't: 
https://github.com/mpi-forum/mpi-standard/pull/659
- RMA: Replace 'operation' with 'operator' where appropriate: 
https://github.com/mpi-forum/mpi-standard/pull/637
- RMA: both MPI_WIN_ALLOCATE and MPI_WIN_ALLOCATE_SHARED allocate 
memory: https://github.com/mpi-forum/mpi-standard/pull/664

All are first readings. #664 may qualify as a chapter committee fix, not 
sure what the procedure for that is though.

This is gonna be fun :)
Joseph