https://github.com/bytecodealliance/jco/pull/626 was necessary due to an issue in `pulldown-cmark` https://github.com/pulldown-cmark/pulldown-cmark/issues/356 . This issue is to track when `mkbook` updates its `pulldown-cmark` dependency to a version that includes the fix https://github.com/rust-lang/mdBook/issues/2387. Once `mkbook` incorporates the fix, we should remove the workaround from our code.