Yes, but I think we’re talking about a very small percentage. The vast majority will just go “man, that sucks” and continue using it because they’re too lazy to leave their comfort zone. Most users don’t even change the default browser, which is arguably one of the easiest things to change.