Yong Li, Shoaib Kamil, Alec Jacobson, Yotam I. Gingold: H rtDown: Document Processor for Executable Linear Algebra Papers. SIGGRAPH Asia 2022: 51:1-51:8