2 ms·

Good to know! After Google search has become a bad joke and completely unusable, every alternative is welcome.