they’re 100% doing dev work at ms, afaik their contributions are public because chromium is an open source project. and i think it would be very beneficial for larger amounts of people to use edge (only if they’re dead set on not using firefox though) because having two different companies compete on that is still better than just having google have a monopoly.