I agree. Having a bip number, literally means that, you have a bip number. Bip editors are't there to decide what have and what doesn't have consensus.
The only thing I don't like about the bips repo is the weird numbering. But that's just my OCD talking 😂