gentoo is probably too much trouble to install, but would be nice to know if it's actually faster if well-maintained.