Huh, Print to PDF has existed in a long time in Firefox.

In the printer list, the option "Print to File" should exist.