Add a doc about bootstrapping.

After working through this for the third or fourth time, I thought it was time to write it down.
generates and writes
(this changed late last week)