Adding generated doc.

- And apparently some uncommitted changes
Formatting.