Mozilla Extensions is part of Mozilla