It is great to have internal notifications/messages, but when a user replies to a message from "CoCalc Support" there is a number of drawbacks compared to having a ticket in ZenDesk as usual. It would be great if either
a) it was impossible to reply to such messages and instead there was a button to the regular support page
or
b) replying to such a message automatically created a zendesk ticket - this may be tricky if the user does not have a verified email address