CertiK’s Discord link briefly redirected to fake server with malware, reports say