Fedora extras and the distribution size