Three TB3 ports would have required an extra controller chip.
That would effectively mean I have zero ports free when charging and with my permanent Yubikey plugged in. It's never been an issue in practice, but I also wish that Dell would remove the ambiguity and make them all TB3 ports.