It’s time to merge the “not-a-box” repo and the “linklet” branch to create a new repo. I thought of creating the new repo as “racket/linklet”, but the “linklet” part isn’t the most prominent aspect anymore.

Maybe “racket/racket7”? Other suggestions?

I like racket7

We’re now moved to “racket/racket7” The “README.md” should help you figure out where various pieces now reside

@mflatt you didn’t want to include the history of not-a-box?

It didn’t seem worth the effort