Time for a hard fork. Or is it better to double down on the upcoming alternatives like Servo and Ladybug? None of them seem close to being ready though.