Hello,
l’export PDF ne fonctionnait plus, et ça serait pas mal de boulot pour le refaire de zéro.
Comme vous le savez ce site est gratuit et ne comporte pas de publicité, ce qui signifie que tout ce qui est fait ici est bénévole.
Si quelque chose manque il suffit donc de le faire, le code source est disponible librement.
Ou alors si vous ne voulez pas participer il faut attendre que quelqu’un d’autre ait le temps, l’énergie et l’envie de le faire à votre place ;-)
L’export actuel en HTML peut être transformé en PDF avec n’importe quelle logiciel qui permet d’imprimer en PDF. L’export en HTML est normalement bien plus pratique pour explorer une archive du journal ceci dit.