scribble/config.scrbl: fix trivial typo #221

Closed rrthomas closed 4 years ago