Update textToFolio index for Proclus.