tests/bib.ts dom.ts index.ts models.ts states.ts tests/ coverage/ latex.tsv Makefile tsconfig.json