One more thing to add...

When I switched to network manager, I couldn't find a way to switch back to 'wicked networking', nothing in the menu. If it gets fixed, how do I switch back?