After many failures and glitches and weird things not working properly, I have managed to install dotOS and it is absolutely fantastic. Netflix even works with zero work or effort, brilliant. I am having one problem though: this time (I think the relevant difference was dotOS gapps rather than nikgapps or opengapps) I now only have pixel launcher than than dotOS launcher installed. Whilst it doesn't have the options to change labels the dotOS one is way better than pixel. Is there any way to install it manually onto my device? I hate my recents animation being inconsistent, and Android 11 has even less quickswitch launchers than 10