(module info (lib "infotab.ss" "setup")
  (define name "PLT Redex")
  (define doc.txt "doc.txt"))