I agree this makes sense.
Thus, if X really hates Y's implementation of a factorial function, X can write their own (or fork!), and both can live side by side, and re-users will get to choose which implementation they prefer. That alone can significantly pre-empt a lot of potential conflict.