Mozilla’s Boot to Gecko: a good thing done too late or too early?