You are correct, it is a vestigial change because at first I was implementing the header option with markdownHTMLOptions like highlight and mathjax.