The scribble/doc language is the same as scribble/doclang, except that read-syntax-inside is used to read the body of the module. In other words, the module body starts in Scribble “text” mode instead of S-expression mode.