[racket] Matthew's "doc-define.rkt"

At the end of Matthew's (awesome and quite informative) "metaprogramming"
video [1] he uses a doc-string+contract `define`.

Is the "doc-define.rkt" file available somewhere? Google only led me to the
corresponding paper [2] but I could not find the file in the archives.

Also, I'm wondering why he chose not to show the usual in-source
documentation of Racket and instead went for something that is not built in
Racket as of today.

Thanks,
Laurent

[1] "Racket: Metaprogramming Time!"
http://www.infoq.com/presentations/racket
[2] "Submodules in Racket You Want it When, Again?"
http://www.cs.utah.edu/plt/submod3/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20140508/5438e8c8/attachment.html>