Badges

Um die Badges auf der Webpage zu erstellen, gibt es das Tool badgelor, eine wilde Konstruktion aus postscript, m4, perl, shell, convert usw. Die fuer die Website erstellten Badges sind hier gesammelt.