I dug up that Mozilla source for nothing?