the cornichons are gone/discontinued?

are they gone? i don’t even see them on the tj’s website anymore. 😭 i checked my local trader joe’s and they couldn’t find it in their system. i’m in the southeast of the US.

they’re my favorite pickles in the world. does anyone know what company produced these? or any dupes? i’ve tried a few and they’re either super oniony or not as sour/vinegary.