Offline-WIKIPEDIA-Funktion
Wenn Ihr es nicht macht, bin ich selbst bald fertig
Bis jetzt bin ich noch damit beschäftigt, die Wikipedia zu verkleinern (Personen und für mich unwichtige Dinge rausschmeißen, Formeln in ASCII-Art umwandeln).
Schön wäre es, wenn es einen (Tex)Info Reader gäbe, dann wäre es viiiieeel leichter und sparsamer ...