Not mine but sounds like a showerthought to me. TL;DR ChromeOS is the “wrong” version of Linux and has 4% while GNU/Linux has 3%