Is discord status and core allowed in community vanilla servers?

i think so as it doesn't effect players game play https://support.facepunchstudios.com/hc/en-us/articles/360009062817-Guidelines-for-community-servers-using-plugins-mods