Gerador de pdf a partir de html/php

[maurov]

Boa tarde,
Desejo exportar para PDF registros de um formulário gerado em PHP/HTML.

Não achei nenhum no Ubuntu Software, mas achei referências à 3 programas que fazer isso:
- fpdf
- html2pdf
- mpdf

Gostaria da opinião dos colegas sobre estes programas, tanto sobre a aplicação em si quanto pelo fato de não serem suportados pelo Ubuntu.