I find it weird, not polite, personally. Polite would be to not bother them and just use it anyway without drawing their attention to yourself unnecessarily.
Why would you assume they would be bothered? They are actively discussing with us all on an open forum. And can just ignore if they don’t want to engage
Why would you assume they would be bothered? They are actively discussing with us all on an open forum. And can just ignore if they don’t want to engage