Well we don't need to keep the comment - but B2G's OS isn't Linux or Android, it's Gonk. Linux is ok-ish, but we use that to mean "Desktop Linux" e.g. Ubuntu, RedHat and whatnot. Right now we fold up B2G, Desktop Linux, Android into just "Linux".