Funtoo Linux 1.3 Releases: Linux-based Gentoo Linux operating system