Re: [armedbear-devel] Optimizing loading times: different strategy for externalizing