You are absolutely right. I must have typed things in wrong, and I keep forgetting that at least one of the words in a search has to be more than three letters long (I searched for “Ban ATF” — then I searched for “Ban on device”, when it should have been “Ban of device”.)
Sorry.