4 ms·

These specific tilde servers are summarized by https://tildeverse.org https://tildeverse.org as well