Someone put packages.gentoo.org back online. That makes me happy and lets me think Gentoo hasn't died yet.