Hiya, am thinking about removing the stock android launcher on my Pixel 7a, due to a bug causing one of the three navigation buttons to randomly not work, more about the bug here; https://lemmy.world/post/10555733. So was wondering if anyone had any experience regarding this? I know how to remove it, just want to know what the potential consequences would be. I thought of having 2 launchers available, should the main one I use not work (for whatever reason). Please let me know if you have done this before and how it went :)