According to POWO (updated around mid'2022), N. elegans became N. obsoletus, and N. miniatus became N. deficiens...
https://powo.science.kew.org/taxon/urn:lsid:ipni.org:names:66009-1
https://powo.science.kew.org/taxon/urn:lsid:ipni.org:names:77079958-1
I think we can hope now the problem is solved and the nomenclature is being stabilised...