Colocci, quien numeró los folios y escribió en él varias notas marginales.