JEPs sources? [was: Re: Proposal: Modernizing the OpenJDK.org Website Design & User Experience]

[Wojtek]

Hello!
Just a quick question - where are the sources of all JEP documents (from https://openjdk.org/jeps/*)?

Sidebar points to two places:
1) HG, which lists all the projects (https://hg.openjdk.org/) and it has "jep" 
(https://hg.openjdk.org/jep) but it's labeled as "R/O archive"
2) github, but searching for JEP repository yelds 0 results (https://github.com/openjdk/?q=jep)

I'd appreciate any pointers :)

Wojtek