#lang scribble/manual @include-section[(submod "../pollen.rkt" doc)]