Rust

Update katex-header.html #372

Job	Run time
check-alloc	7s
check-all	38s
check-nostd	14s
check	14s
clippy	11s
clippy-nostd	18s
fmt	8s
test	29s
build-wasm	17s
build-wasm-nostd	22s
check-changelog	8s
check-doc	16s
check-semver (generic-ec, all-features)	26s
clippy-tests	14s
check-semver (generic-ec, only-explicit-features)	2m 41s
check-semver (generic-ec-core, all-features)	2m 36s
check-semver (generic-ec-core, only-explicit-features)	12s
check-semver (generic-ec-curves, all-features)	23s
check-semver (generic-ec-curves, only-explicit-features)	2m 32s
check-semver (generic-ec-zkp, all-features)	22s
check-semver (generic-ec-zkp, only-explicit-features)	2m 30s
	15m 18s

Provide feedback