Qualified ML tactic names. The plugin name is used to discriminate
potentially conflicting tactics names from different plugins.