Moving KaTeX header into EXTRA_HEADERS.