Hopefully they prevail, I will be telling everyone I know to switch to firefox, and additionally changing my parents devices to they as well. Thankfully these days it's really easy to do so