Always nice to see a new tool I have not played with

I am curious how the regular expression knows to skip the second of the three /'s? As with sed, I would have thought it would hit the second
and either throw an issue or potentially match the wrong thing??
Also, assuming the split has worked correctly, why would you need to bail on the first match with grep? Wouldn't there only be a single servername in each file?