You brush that aside as if it’s of no consequence. GitHub claims As of January 2020, GitHub reports having over 52 million users
and more than 28 million public repositories. Since we want to engage the open source community, it behooves to make accomodations, rather than try to say “use this, it’s better.” Fortunately, the accommodation is something the IETF has already approved,
and left use of to individual working groups.
By my reckoning, you’re in the rough here. Even if the entire IETF community agreed with you – and they don’t – the percentage would still be a round-off error and approximates to zero. |
