My apologies - network-manager is in fact working fine. *It* had forgotten my WPA settings, but *I* had forgotten that you need to select "Connect to Other Wireless Network" in order to set up a WPA-Enterprise connection. My bad.
My apologies - network-manager is in fact working fine. *It* had forgotten my WPA settings, but *I* had forgotten that you need to select "Connect to Other Wireless Network" in order to set up a WPA-Enterprise connection. My bad.