[racket-dev] Racket startup

I am too buried in syntax-certificate work at the moment to follow
along reply properly, but for what it's worth, I have a very different
proposal in mind: a single file can have multiple loadable things
(maybe "modulets"), and a program `main' should be one of those
loadable things --- not an exported function. That resolves the problem
with picking a special name, and it avoids having to load the "main"
part when a module is used as a library.

I hope to reply more properly soon.