@Gargron ok, thanks. BTW, the Catalan server is mastodont.cat (with a final T)