Not the answer to your question, but I found this:
So according to a Docker Staff member in 2022, that exe is not meant to be used by end users so it can be removed or renamed or changed any way any time.
1 Like