Update to work with katex and recent ke changes

Auditors: eater, emily