> > > BTW, If you need help for system administration, I'm willing to help and I > can dedicate some time to it. Is there someone I can talk to about this ? >
The problem is that for now we are running on Inria servers where logins are restricted… for sure we will at some point move somewhere else. If that happens, we will make a call for help for sys admin related tasks. Marcus