Yeah, I think Debian would of been a better choice. Personally I would say Gentoo, but that might be more work for them (although Chromebook switched from Ubunt

Yeah, I think Debian would of been a better choice. Personally I would say Gentoo, but that might be more work for them (although Chromebook switched from Ubuntu based to Gentoo based)