Yang do you have time to look into this?
If you do package topformflat *please* make sure to put it in your own directory.
We'll probably rename it.The motivation for including this, Eric, is that I watched a bunch of people trying to install C-Reduce and nobody had a really easy time of it. For example homebrew lacks a delta package.
John