gitdir: ../.git/modules/src/python/fiatlight/doc
