Rename PEP to *.rst to see if GitHub can display it as HTML