.io has been used as a sort of general-purpose tld to signal sort of… I dunno, hip, dev-focused sites, right? It is at least slightly less novel than gg.
And for .io of course that one is/was popular among tech companies because it looks similar to “I/O” (input/output).
It is a little surprising given their field that they didn’t also grab the .io.