The same headphones will pair with my phone every time without hickups - well, maybe a couple of times, but considering that I use them daily, the problem rate

The same headphones will pair with my phone every time without hickups - well, maybe a couple of times, but considering that I use them daily, the problem rate is negligible. That phone is a (relatively) cheap Huawei phone running Android. I have no idea how far the Android kernel deviates from the regular Linux kernel, so maybe Huawei just put a real effort into writing good BT drivers (or the company that made the BT chip?). But the fact remains that with my phone and my tablet, Bluetooth pairing with the headphones works very well (= reliably). So while Bluetooth may suck in many ways I do not even begin to comprehend, in my case, I strongly suspect, the problem lies elsewhere.