3 ms·

I did wonder about that. Maybe yeah. It's likely that several no-better forks would have sprung up right away.