redex-doc (racket): documentation part of "redex"
Keywords: main-distribution|racket