Su nombre es mencionado en un pilar interior, como "Diotosalvi magister".