[squeak-dev] Re: How to profile a server image?