0001-third-party-build-drop-katex-subdir.patch
