[Maria-developers] @@optimizer_search_depth default value - why 62 and not 0?