Even in that case, it says:
0.1.3 If you already booted your 3DS while the (micro)SD card you are going to use was inserted into your 3DS, skip the following step and continue at 0.4.
But that's 0.1.3, so it makes no sense.
Edit: okay, I'm so dumb. You meant this step
If you haven't, insert...