Save that tip. It’ll save you time and clicks.
When in doubt, use the manual print-to-PDF method described above. It is 100% safe and requires no third-party software.
The most straightforward way to get a PDF is to use the platform's native download feature.