To Whoever This May Interest:
Is that any connection between this Eliahu de Vidas and this one: https://en.wikipedia.org/wiki/Eliyahu_de_Vidas ?