Formatted blog post on extracting history

Includes content from #692 formatted as HTML and edited for style.