[Maria-developers] Updated (by Serg): insert ignore ha_extra hint (114)