erweiterungen.de stellt Betrieb ein

Habe ich jetzt erst mitbekommen: erweiterungen.de stellt laufenden Betrieb ein. Schade, war irgendwie eine gute Quelle für deutschsprachige Firefox-Erweiterungen. Wie ich jetzt grad seh, gibt es dafür addons.mozilla.org jetzt auch auf deutsch