My guts say that only pdf and doc formats matter. I would imagine that it’d be more likely a dev is testing outputs from word or printing to pdf from a browser.

Of your options my thought is HTML to pdf via the browser is most tested.