Or give the ability to choose which PDF generator the program uses. The situation you give is completely reasonable from the perpective of what the GPL was desi

Or give the ability to choose which PDF generator the program uses. The situation you give is completely reasonable from the perpective of what the GPL was designed to do