hi all, the racket branch is now merged into master. it requires the newest racket v5.0.1 version. there was a bug in raco v5.0 that inhibited encapsulating racket/base, which is now fixed. best, gabor