That sounds fantastically useful. I would have argued in favor of keeping it (in some form) if I had known it even existed.

I don't think "every string potentially being a format string" would need to be the case. Each format string, starting with the first arg, deterministically decides the number of arguments until the next format string. (Typically it'd be every other arg, but "%.*s" can change that.)