ivanbranco
Che è il nome attuale che non risponde alla mia domanda.

"Sorge sulla punta Akragas, in prossimità della foce del fiume Akragas, detto anche di San Leone."

https://it.wikipedia.org/wiki/San_Leone_(Agrigento)

E' un nome alternativo? Sembrerebbe di sì