Thanks for the answer. I forgot that milliseconds are enough for the pool users 
My own servers were initially a hardware server (although on very old hardware) to which I add GPS receivers and get pps
I had no idea that yandex also made speakers.
Had never could guessed this. Thanks for sharing.
Neither did I.
But they don’t seem to have registered a vendor zone, have they?
[update] Oh wait… the article says they are going to do that.