In the meantime, the best workaround seems to be to restart network-manager. But since typing sudo systemctl restart network-manager.service over and over again is really annoying, I just made a simple alias for it, nmr. Then, to keep from having to enter my password each time, I added the following line to the sudoers file: %sudo ALL=(ALL) NOPASSWD: /bin/systemctl restart network-manager.service
I’d like to make it even simpler and add an applet to the panel that I could just click on to run this routine, but I don’t know how to do that for a command that needs sudo.
EDIT: Making an applet is easier than I thought. Just do Add to Panel > Custom Application Launcher and select Application in Terminal under Type. The command should be the same as above: sudo restart network-manager.service. One click on the applet causes a terminal to blink on and off and then network manager restarts.