Ae, Ricardo! Beleza, cara?
Dei uma pesquisada a partir do seu link e acabei indo parar aqui:
http://live.gnome.org/Tomboy/PluginListTentei instalar esses dois plugins aqui: ExportToLatex.dll e ExportToPlainTextAddin.dll
Achei estranho esse formato de arquivo pra linux, mas resolvi seguir as instruções aqui:
http://notendur.hi.is/pth8/ Por algum motivo, não deu certo.
No entanto, descobrí que na função imprimir para arquivo, é possivel converter para .pdf, o que já resolve meu problema.
Eu até gostaria de saber por que não deu certo essa instalação, por curiosidade e vontade de aprender. Mas não gostaria que nem você nem ninguém tivesse trabalho pra ficar tentando me responder.
Sendo assim, cara, agradeço pela solidariedade.
Um grande abraço, amigo!