Share and learn in the Docker community.
Has the answer!
That has the link to the proper .MSI (though you still have to rename it, “tmpB72E.msi” in my case.)