Attach (recommended) or Link to PDF file here:
https://web.archive.org/web/20091223123331/http://sci2s.ugr.es/keel/pdf/specific/articulo/alp99.pdf
(aka `tests/pdfs/issue1936.pdf`)
 
When I copy/paste the multiplication sign on the first line of the first page, I got a `£`.
And when I do the same in evince I got a `×` (the same in chrome).
The font descriptor is:
```
<< /Ascent 0 /CapHeight 749 /CharSet (/multiply) /Descent 0 /Flags 262212 /FontBBox [ -27 -940 1332 825 ] /FontFile3 59 0 R /FontName /KHPEPJ+CMBSY10 /ItalicAngle -14.035 /StemV 0 /Type /FontDescriptor >>
```
So it should be possible to guess the correct character in using the `CharSet` entry:
https://www.adobe.com/content/dam/acom/en/devnet/pdf/pdfs/PDF32000_2008.pdf#page=291


var PFB_HEADER_SIZE = 6;
    var headerBlockLength = properties.length1;
    var eexecBlockLength = properties.length2;
    var pfbHeader = file.peekBytes(PFB_HEADER_SIZE);
    var pfbHeaderPresent = pfbHeader[0] === 0x80 && pfbHeader[1] === 0x01;
    if (pfbHeaderPresent) {
      file.skip(PFB_HEADER_SIZE);
      headerBlockLength =
        (pfbHeader[5] << 24) |
        (pfbHeader[4] << 16) |
        (pfbHeader[3] << 8) |
        pfbHeader[2];
    }
    
    var headerBlock = getHeaderBlock(file, headerBlockLength);
    var headerBlockParser = new Type1Parser(
      headerBlock.stream,
      false,
      SEAC_ANALYSIS_ENABLED
    );
    headerBlockParser.extractFontHeader(properties);
    if (pfbHeaderPresent) {
      pfbHeader = file.getBytes(PFB_HEADER_SIZE);
      eexecBlockLength =
        (pfbHeader[5] << 24) |