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