leif2018-1-31 21:06:12@ben Good catch, no it doesn’t. I’m adding it now. leif2018-1-31 21:24:11@ben https://github.com/racket/scribble/pull/160 leif2018-1-31 21:24:21I’ll merge after I get an lgtm. dan2018-1-31 21:32:57@leif thanks!