Windows 10: Wireless hotspot problems

I use a wireless tethered mobile phone for connectivity for a Windows 10 laptop. If the tethered, connected phone is moved out of range of the laptop then the WiFi connection drops. 
This is normal and to be expected.  When the phone is moved back into WiFi range  the connection is not re-established. There is a troubleshooter in Windows that resets the adapter but this is quite slow.  A simple batch file will reset with two commands and is a lot quicker.

Code is on GitHub at