Second insider information, for fun: The "hypothetical minimal genome" (syn2.0 is referred to as HMG in the paper) was actually a backronym because we called it the "hail mary genome" but decided that was inappropriate for publication. https://news.ycombinator.com/item?id=11954904