Of the concerns you raised in the post, this is the one I can’t directly address. Having cred minting on the Discord may change the vibe. (Why didn’t anyone my message? It was so valuable? etc.)
That said, this isn’t really an issue that’s specific to having a Discord plugin–it’s a tension at the very heart of SourceCred as a social system. By turning SourceCred off in our Discord, we’re avoiding a rich source of dogfooding. As the people building SourceCred, I think we have a responsibility to lean fully into the paradigm, even in instances where it may be uncomfortable.
Suppose that having a Discord plugin really does create social problems for us, or harm our community. If so, it is right and proper that we discover this first–and try to understand how to improve it, or what boundaries should be set. If we don’t do this ourselves, but still create a plugin system that invites a Discord plugin, then we are inviting others to follow where we don’t lead.