Hi guys, It seems that unfortunately our good old churro is down again. It answers to pings but I can't SSH into it anymore.... (this actually lasts for about 3 days, indeed) Many thanks in advance if you can manage to do something.