Es gibt auch noch andere Dinge. Satzdateien zum Beispiel. Und man muss schon dankbar sein, wenn es dann Zeilen viele aber kurze sind, denn erstaunlich viele Editoren kommen mit langen Zeilen nicht klar.