2016/12/5 1:28:24 -0800, volker.simonis at gmail.com: > just out of curiosity: why is this JEP 11 and not 300. Do we now use > the unassigned numbers between 11 and 99? It was always the intent to use lower numbers for informational JEPs that are expected to be long-lived. This is one of those. - Mark