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.

I remember speculation that "Satoshi" was someone also named Mike. Coincidence?

What about Mikko?

++