Thanks. > javascript 138 (0.20%) in 1 files There is a docs/asciidoc.js Does that mean that we also need javascript to build docs? -- These are my opinions. I hate spam.