heh, here’s yet another time where I with github had a basic “send user a message” feature