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