it's a diff of an alphabetical list, it's showing a few lines on either side of the name that was added.

So all the HTML5 spec contributors whose names start with the letters "mike" are called Mike.