Scripta de vita Isidori, Hispalensis episcopi