Who spotted the GitHub commit graph towards the end of the page? Looks like they were busy.