Hi, Unfortunately, gimli is down due to a failing disk :-( This means the following services are currently unavailable: dev-builds.libreoffice.org help.libreoffice.org opengrok.libreoffice.org tinderbox.libreoffice.org The admins assured me that the data should survive, let's hope it is true. Regards, Kendy