"That ship has sailed" i.e. POSIX forbidding argc==0 when standardizing.
I agree it's worth considering it now. I think argc>0 is close enough to a convention that things ought to mostly work, but it kind of irks me that it's necessary. But it should reduce ambiguity.
The debate seems to be if they can actually do it safely or not, and from the article it seems like they think they can actually do it safely.