I don’t know what kind of sharpener you are talking about. I use regular whetstones. I have some diamond stones that were a gift, they only get used on cold chisels and knives from the flea market to re profile them.
I had a partner who loved Victorinox, we are not together any longer so I don’t have to sharpen them. As I said, they are uncomfortable in my hands, and I find the steel sub par. A Zebra is usually 1/4 the price and better quality.
Interesting, I have never seen those before. Thanks