Finished draft for the "Key Generation" section.