Apply De Morgan's; delete main_openid because it's not being maintained.