Make display view-id an option like sql output

The id is the machine name right?

That's the point. It was absolutely not clear (no clear result when searching it) where to get that name from...
In order to identify a view display you need both: id + machine name of display.

 if ($view->id() == 'your_view_id' && $display_id  == 'machinename_of_view_export_display') 

The machine name of a display is already shown when editing a view. But the id of the entire has to be derived from the original title. It gets more confusing when the view was renamed...

Let's say the title was "My View" - the id is probably something like my_view
If you rename the view "Not My View" then I think the id remains my_view. Which is ok. But harder to find out.
This issue is just to make it easy to find the view id. That's all.

Here is the only proper orientation I found on this:
https://stackoverflow.com/questions/72370467/how-do-i-find-the-view-name...

The machine name is in the URL when you edit the view and on the admin listing

The display ID is shown as 'machine name' in the third column in Views UI.

Is this perhaps a docs issue rather than a missing feature?

It is definitely a doc issue.
But on the other hand: I rarely go to the list of views. I use the contextual menu on the view directly to go to the edit window.

I did not even realize that the view id is already listed there...