Hatte die gleichnamige Quelldatei auf meinem Webserver ausgetauscht. Damit blieb der gegebene Verweis zum Download derselbe, enthielt aber automatisch die gefixte Version. Habe jetzt aber auf deinen Hinweis hin der Übersicht halber eine Annotation beigefügt und den Dateinamen etwas abgeändert, damit solche Missverständnisse vermieden werden können.