Working on diss...looking at a bit of jumbled copied-from-pdf text from p. 181 in introna2000shaping. I asked ChatGPT to fix it: "I copied this text from a PDF. Fix the end of line hyphen errors and the replace the weird characters as appropriate, I think they should all be "fi""