[Maria-developers] optimizer_switch default settings change for 5.3.2: status?