If Mozilla decides to dump Gecko, then it's time for a hard fork and an abandonment of Mozilla. Maybe it's time now.
edit: I mean dumping Gecko for Chromium, not Servo.
edit: I mean dumping Gecko for Chromium, not Servo.
Maybe their primary addressable market is nerds, but I guarantee more people quit using Firefox because of websites not working correctly or Google's marketing than because of any of the things that HN loves to complain about.