Add some explanation for this type's name, as some people didn't get the
joke apparently :)