My Solution / work-around on Mac: using the Share option described at Point #3 here resolves this: Downloading a web page as a PDF
My Solution / work-around on Mac: using the Share option described at Point #3 here resolves this: Downloading a web page as a PDF