Diff: https://github.com/jgm/djot.js/compare/@djot/djot@0.2.3...@djot/djot@0.3.1 Changelog: https://github.com/jgm/djot.js/blob/@djot/djot@0.3.1/CHANGELOG.md
