On a different subject, any definitive word on what us Mozilla users should be aware of or do now that the LGBT has ignited the jettison of the CEO?