Salvar a página 'visualização do leitor' do Firefox como pdf

A ideia é imprimir a página em pdf.

No Linux e no Windows: no menu Firefox > Imprimir (ou apenas clicando no ícone "Imprimir esta página" se estiver adicionado em "Personalizar") abre a interface de impressão do Firefox, com várias configurações

Selecionar "Imprimir" nessa página mostra a lista de impressoras.

Salve a página como pdf selecionando adequadamente: "Imprimir para arquivo" no Linux, "Microsoft imprimir como pdf" no Windows, na lista de impressoras; no Mac, clique no botão PDF na interface da impressora e selecione "Salvar como PDF".

A tecla de atalho CTRL-P mostra a lista de impressoras diretamente. (Cmd-P no Mac, onde parece que o botão de impressão no Firefox não abre a página de opções de impressão do Firefox, mas as impressoras listam diretamente.)

Embora alguns complementos destinados a salvar páginas como pdf não funcionem na página do leitor, alguns funcionam (e podem adicionar um menu de contexto e um botão para essa operação):

• Imprimir para PDF

• Contexto de impressão/visualização de impressão

• Salvar PDF

• Salvar página como PDF

Parece que alguns addons imprimem / salvam como pdf processando texto e imagem de algumas maneiras que não funcionam com a página do leitor.

Na minha opinião, o uso de um complemento acelera esse processo em qualquer sistema operacional, não sendo necessária nenhuma ação com a impressão de menus. A página é salva como pdf com um clique.