Since both CPython and the PEPs have GitHub mirrors, I believe it would be helpful to have the devguide as a semi-official mirror as well. Please let me know what next steps need to be taken to make this happen. Thanks, Carol