2 ms·

Actually this might happen, sometimes his sites go down before a new release, but what puzzles me is github.