Use Pyret's version in documentation, not Racket's.