[magclock]

One consumer product company and one one-man consulting company. Mozilla is not a part of this, according to the articles.

[hkmurakami]

Thanks for the correction; I've added the fix to my parent comment :)