O pacote CUPS-PDF, disponível em diversas distros, cria no Linux uma "impressora virtual", e tudo que é impresso nela é salvo em formato PDF.

A recomendação que existe nos vários tutoriais que li (muito obrigado a todos pela ajuda), é usar o driver "Generic Imagesetter" para essa impressora, caso ela seja compartilhada com estações Windows.

Mas esse driver, além de poucas opções no diálogo de impressão, não permite selecionar texto no PDF gerado (isso dependendo do contexto é uma vantagem).

Então, no Windows, em vez de usar o "Imagesetter" use o "HP Color LaserJet PS".

Seu PDF vai ter texto selecionável, colorido, detecção de hiperlinks (ainda falta saber se isso é um recurso do visualizador de PDF) e opção de imprimir dezeseis páginas por folha!