security issue
Hello,
As the website is down and you do not provide any channel for security reports I will leave this note here expecting that if it is relevant someone could take care of it (maybe @eraviart because is the most active person in the team).
We got a report from an European security firm (https://websafety.ninja/ probably expecting to get a contract) informing that one of the old dev environments using a domain from us (a provider involved in the site creation many years ago) had some undesired information exposed and probably related with publishing the git repository or parts of it in the site itself.
As we are not hosting the site and we finish our contract years ago (is the information I gather rapidly) in god faith we are informing you about this possible issue in order to take actions if it is required.
Because the site is down and we are not in contract we will not follow up this matter because is out of scope.