In the event of Mozilla going under

Far less likely than Microsoft “going under” but sure, let’s pretend that’s a giant concern for the users.