ref #9819: rename name editor to taxon editor in menues