I found out when someone I knew pinged me in Discord, asking if I was okay. I was confused at first about what he meant. I had planned to head out to campus that evening, but got diverted due to an issue with my Asterisk PBX. *1 My buddy l…