A Discord alert yesterday said core contributors had found a security issue warranting an “urgent response,” and a patch was being made imminently available