Everything seems to be converging on using a "-" when referencing JEPs, which the first commit in this PR documents. Subsequent commits update recent JEPs and ported JEPs—I'm on the fence about changing the ported JEPs, but am considering it as errata.
Everything seems to be converging on using a "-" when referencing JEPs, which the first commit in this PR documents. Subsequent commits update recent JEPs and ported JEPs—I'm on the fence about changing the ported JEPs, but am considering it as errata.