The domain name has been bought (stolen?) by a domain broker, on 18 july. There is no way we pay the huge price they ask for it. So, is our official domain name for now.

To connect, you may need to replace all occurrences of the domain name in your settings by


This may change in the future as we are in the process of choosing a new name.

(article edited to reflect the definitive domain name)