I didn't think that was all that pedantic, I was even agreeing with you that 4-digit codes are not alphanumeric, so if anything, I was as pedantic as you.
But where I was disagreeing was that it was ever revealed that the phone in question really does have a 4 digit numeric code, because as far as I know, the size and complexity of the pass code has never been revealed by the FBI.