[mhh__]

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