[Python-ideas] Need help converting HTML doc to ReST

[Chris Angelico]

On Sat, Jan 10, 2015 at 5:35 AM, Guido van Rossum <guido at python.org> wrote:
> Thank you so much!! It is already live on legacy.python.org/dev/peps/ (www
> seems to lag behind or require a manual kick).
>
> In PEP 1 there are only two options for PEP copyrights: public domain or
> open publication license. For this particular document I'd rather not do
> public domain (I've already received a request for republication) so I'll
> convert it to Open Publication License.

Done. To make sure I got the text and formatting correct, I went
looking for any other RST PEP using that license... and there is
exactly one (plus one more in text/plain). So the copyright info is
lifted from PEP 437. :)

ChrisA