OK, I've changed the proposed attribute name to be `sys.executable_argv`, with the rationale being that it's "argv as originally seen by sys.executable, rather than by Python's __main__ module"

As part of documenting this, both it and the `argv` documentation can make it clear that they may be entirely absent if the host application doesn't set them.