Habe gerade die Version 4.0 Beta 3 hochgeschoben und wollte mir die csh_de downloaden, doch leider funktioniert der Extension Manager bei mir nicht. Habe ich irgendwas übersehen?