leif2017-6-4 00:49:56@mflatt Do you have any thoughts about: https://github.com/racket/racket/pull/1713