Eliminate detailed_history option in patch_headers
Eliminate detailed_history option in patch_headers

The only history that makes any sense is a detailed history, so that is now the only option.

mwcraig/msumastro