> but it has vanishingly small market share if you ignore Safari

Safari doesn't help here because it's proprietary and only runs on one family of OSes. WebKit doesn't have any substantive market share without Safari.

> I will mourn the lack of a non-Chrome browser engine with enough market share to prevent Chrome from unilaterally changing the web.

Ignoring Safari makes no sense as they are the ones preventing this.