For many years Windows did not have a simple built in print to PDF function.
Ages ago, FoxIt was a great lightweight PDF reader (vs Adobe Acrobat). Its gotten more and more bloated over the years, but still better then Adobe. I use it on occasion, mostly due to the fact that browser PDF renderers are buggy/incomplete (forms, layout).
Windows 10 does have a build-in PDF reader - Microsoft Edge. Also Windows 10 includes the virtual "Microsoft Print to PDF" printer, so this issue isn't really much of a problem unless the user in question (who also runs Windows 10) is using some special features in the Foxit Reader's Print to PDF tool.