#34 Acentos copiados del pdf a texto incorrectos

Hola. Gracias por tu gran trabajo. Me he dado cuenta de que a la hora de copiar texto del pdf generado (make pdf), en un fichero de texto (para tomar mis apuntes) los acentos se ven mal.He tratado de recompilar varias veces, usando varias herramientas, y no consigo averiguar de dónde viene el problema. Adjunto una captura de un pequeño ejemplo para que se pueda ver. De nuevo, muchas gracias por todo