Erstelle gerade eine PDF (drucken im FF als PDF). Die Datei wird ziemlich groß (enthält keine Grafik). Darum dachte ich, verkleinere ich sie anschließend mit einem Tool. Doch so einfach ist es anscheinend nicht, ich fand nichts. Speichern mit Libre Office machte die Datei nur größer (Tipp von harrihegen). Oder ich fand etwas für die Kommandozeile. Oder der Upload der Datei.
Weiß jemand Rat? Speichern mit Qualitäts-Stufe oder sowas.