History markdown fixes

A couple fixes/tweaks for History.markdown, as described in #2350.