[sclv]

For the record, the hosted files were daily builds of HEAD. Despite the domain name, these packages did not have "official status" anywhere and were not distributed outside of that site to our knowledge.

In fact there are very few users that we know of -- to the point that when the site went down, there were no reports filed or complaints made.

That said, when the service gets up and running again, the key will indeed need to be replaced.