[submodule "jgm/djot"]
    path = modules/djot
    url = git@github.com:jgm/djot.git