@davedash @r1chardj0n3s there are several "boostraps" in that pep. Can we issue pull requests on peps yet?