("4.2.4" (collects #"scheme" #"base.ss") (collects #"scribble" #"doclang.ss") (collects #"scribble" #"manual.ss") (collects #"scribble" #"private" #"defaults.ss") (collects #"scheme" #"base" #"lang" #"reader.ss"))
