[67] Posteriormente, se introdujeron algunas correcciones para conseguirlo, tal
como se ve en el acto por el hecho de que en una de ellas el nombre que se
escribe es « Pippin» , que no está cambiado por « Folco» ; pero dudo que haya
sido mucho después, y la cuestión aquí carece de importancia. <<