I think I do not have problem with hardware. Sometimes the WiFi connection simply disconnects, apparently. So this is not necessarily the same as this case, I might not need to reload any modules.
But how to just restart
wlan0? I tried
restart network-manager, but this seems to leave