He spent the next hour running pings and traceroutes. The network was flawless. The topology generator from GitHub had done in five minutes what would have taken him four hours of manual labor in the GUI.