Since the sources and executable can be in a single place for all 400
users (and by the way, congratulations on getting that sort of project
going) what does it matter whether the .sources file is 10Mb or 15?

Now if you're talking about a full condenseSources to empty the
changelog, that would make sense BUT thus far we've only done that for
major releases. One big disadvantage is the loss of history, which
might be important to a lot of developer types.

Nothing prevents you from doing it for your own purposes though. Since
I imagine you'll be customising the image a fair bit anyway, just
imagine it as a small branch on the family tree.

tim
--
Tim Rowledge, tim at sumeru.stanford.edu, http://sumeru.stanford.edu/tim
In computer science, we stand on each other's feet.  - Brian Reid