Re: [Dev-luatex] [pdftex] Patch for longstanding pdftex font subsetting bug