Pinto, Manuel Ignacio de, editor.