esr hat das "jargon-file" geupdatet, angeblich mit vielen änderungen. das ganze liegt jetzt als xml-docbook vor. fein, das!