• highlightjs/highlight.js
  • test/
  • detect/
  • mizar/
  • test/detect/mizar/default.txt