An easy to use online explorer for Python Enhancement Proposals
The index is automatically updated by github actions every day 5:30 o'clock. In case you nevertheless want to update it, do:
(1) The pep/ directory is a git submodule for the actual PEP repository on Github
cd peps
git pull --rebase
cd ..
python3 genindex.py
(2) Then serve locally via:
python3 -m http.server
Contributions welcome! I am not a web designer, the page looks pretty basic!