> Uh, why not? Is there a particular reason why it's important to allow omitting the comma specifically here?

Because this is an abbreviated variadic function template.

If f(auto... x) is a variadic function template, removing x should
result in a function template with the same type. This is the case in
the current draft, it's totally fine, I'm happy with it, and I'm not
deprecating it.