Document the magic in os.execv