Tais caracteres unicode são provavelmente o resultado de algum programa não-padrão gerando a saída manual e alterando as cotações normais para algo que pareça mais agradável quando impresso, mas o que é incorreto se você copiá-lo e colá-lo. Como alternativa, vi isso acontecer com pessoas escrevendo programas / documentação em sistemas Apple.
Eu tive um problema semelhante com o manual de web2py
. Naquele arquivo PDF, havia algumas citações que copiei e colei em minha configuração do apache, apenas para descobrir muito mais tarde que um padrão nunca foi correspondido porque não eram citações normais. O resultado foi que os arquivos estáticos não eram servidos pelo Apache, mas pelo código web2py em si (que era mais lento), e levava muito tempo para notar, porque as páginas demoravam para serem geradas de qualquer maneira.