2 ms·

I didn't know about this, that's great. And it's an intuitive URL, github.com gets replaced by github.dev.