15 November

Oh, my bad, turns out if you press cmd-R on the boot volume selection screen it starts internet recovery mode, but if you hold cmd-R while booting you get regular recovery mode, how absurd that I could have gotten confused.