Which projects use AVX-512? I think it may be only one or two projects, but I can't recall any details.

I could swear we talked about this in the past, but I can't find anything using search. I tried searching on both "AVX-512" and "AVX 512". No results at all. Maybe search broke?