4 ms·

Thanks! That's a good point. We should perhaps even switch the section order or, as you said, at least shorten the intros.