[racket-dev] comment boxes

On Sat, Jun 26, 2010 at 2:30 PM, Robby Findler
<robby at eecs.northwestern.edu> wrote:
>
> Saving comment boxes requires the file to be saved in our fancy file
> format and it adds a fair amount of overhead to do that.

My impression is that all overhead would pretty much disappear if the
binary format was gzipped.

I would like to see a variant of the .rkt format with implicit
compression, like .jar's, or .pdf's. These are compressed, but without
the file name extension exposing that fact to users.