Yeah, that too.
Actually the reported maximum NDEF size for the 4KB EV1 is extremely suspicious - 4.092 is 4 bytes shy of 4,096 bytes, meaning a “true” 4K memory space would contain a 4-byte UID and the NDEF and nothing else?? I don’t think so…
Anyhow, it doesn’t really matter. 7,676 bytes is plenty large enough - too large actually, if you care about transfer time. I was just wondering whose “8 kilobytes” (EV1 or EV2) are worth it for dumb NDEFs. Thanks to Hoker, I now know they’re identical.