On Fri, Nov 25, 2022 at 03:51:45PM -0500, David T. Lewis wrote:
> 
> I should note that although the sources file is compressed when the
> source file is inboarded ("Cache sources file" preference), so such
> optimization is attempted for "Cache changes file". That might be
> a topic for some other day.

I meant to say "no such optimization is attempted", sorry for the typo.

Dave