L'esportazione PDF la ottieni da qualunque word processor se installi una stampante virtuale PDF.
La parte "leggeri" esclude abbastanza OpenOffice/LibreOffice; AbiWord, d'altra parte, dovrebbe essere piuttosto leggero.