Hello,
It’s hard to talk about addons.mozilla.org because this site does not have a real name. The official name seems to be addons.mozilla.org (but it’s a URL and not a name), the acronym AMO is also used (but link with Firefox is not obvious). It should be name, like:
- Firefox Add-ons Store;
- Mozilla Extension Market;
- Firefox Web Barter;
- …