[Maria-developers] FYI: @@optimizer_switch default changed to have semijoin switched ON.