Deploy GvR's edits from the main peps repo