4 ms·

We had a temporary server glitch -- still not sure what happened, but it's unstuck for the moment. Murphy 1, redundant server pool 0...