Re: [Maria-developers] Some more input on optimizer_trace