> I don't object to moving them. I prefer to keep them in the form of > pairs of a .tgz and a .patch file, since it helps to keep them in > sync with SML/NJ. OK. I won't move them right away. Also, I noticed that mlnlffi depends on ckit, so I guess I can't move that away. But I guess dropping MLRISC is safe.