[Semaphor]

No, and since they broke language searching in December 2024, it got even worse.

I still use it because those are not very relevant for me, but it’s a shame.