In praise of small Linux distros