Taxacom: Nomen novum, homonymy, valid species name and junior synonym

[André Prado]

Hello everyone,

I am having some issues on homonomy of spider species, and would be thankfull if you could help.

Regarding the situation below  is it recommended to propose a nomen novum?

 The nomen novum to be proposed is Tibelloides remoiseri, to substitute Tibelloides paraguensis (Gertsch, 1933) (described in Apollophanes), which is preoccupied by Tibelloides paraguensis (Simon, 1897) (described in Tibellus). The problem is that the species from Simon is a junior synonym of Tibelloides punctulatus (Taczanowski, 1872). Although the name from Simon is not a current valid species name, it is available  and, as I understand (based on ICZN Articles 23.3.6 and 23.4), it is subjected to the Principle of Priority.
       Other taxonomists, however, suggest that  a nomen novum for Tibelloides paraguensis (Gertsch, 1933) is unnecessary, or not recommended, as it would be only proper when, hypothetically, Tibellus paraguensis Simon, 1897 was removed from synonymy, and turned into a valid species in Tibelloides.  I could not find articles in the ICZN dealing with this specific case. And in literature, I just found one similar example by Li & Blick (2019), in which they proposed a nomen novum, Clubiona zhangyongjingi, to substitute Clubiona transversa Zhang & Yin, 1998, which was preoccupied by Clubiona transversa Bryant, 1936, which is a junior synonym of Clubiona maritima L. Koch, 1867.

I am looking for any elucidation on this issue, or suggestions of similar cases judged by the ICZN commission, to have references to base myself on.

Thank you in advance.