That Racket documentation is quite impressive.  I think that's a great goal to shoot for, but I'm thinking we're not quite ready for that level of detail on this go round.