A short history of Gentoo copyright