(Does this need to go upstream to pdfTeX repository?) Yes, and I always merge commits from TL back into pdftex as needed / for the yearly pdftex update / etc. --thanks, karl.