Oui la remarque leur a été faite plusieurs fois déjà, David Wu (le créateur, @iMorpheus sur Discord) réponds que ce n'est pas bien gênant selon lui, que d'autres projets se partage le même symbole, et qu'il est attaché à ce nom, TAU, donc ça ne devrait pas changer.
Il doit probablement espérer que son projet devienne suffisamment connu pour qu'il soit de facto (de facTAU ) la référence pour le symbole TAU