Yeah, that's it.

You know, I was looking around that site, and I see he's got some nicknames, like "SuperManu" and "Gino"...