hyper-literate/test/test-doc.rkt