Hello all,
the servers hosting einsteintoolkit.org (website and a subversion) as well as svn.cactuscode.org cannot be reached anymore (neither from GT nor from eg. Ranger).
Please disregard. The servers were down, but while they were down the email above was also stuck. They seem to be up and running again.
Your, Roland