#lang setup/infotab (define scribblings '(("manual.scrbl" ())))