@mozilla What was the reasons for shutting the server down? It does not take a lot of resources to run these services in cost or hours.