The size of the Gentoo tree