tedster - 11:48 pm on Mar 7, 2009 (gmt 0)

These sitelinks take up less space than the usual sitelinks - there are also fewer of them. So they are smaller in two two ways - hence "mini". It's an unofficial name that the opening post chose for a quick but descriptive name, but Google may call it something else if they decide to go into full production with this feature.