Two of our servers lost connection last night which led to some files not being accessible, this mostly affected dramakey and some files on nkiri. The incident occured sometime around 1am but it has been fully restored now. We apologize for any inconvenience caused.
