tipping should be illegal because it leads to underpaid workers. but until tipping becomes illegal, you are a fucking asshole if you don’t tip. you’re not sticking it to the man, you’re just shitting on a minimum wage worker because m-muh principles. grow up or move to a country where they don’t tip
just “linux” in daily public speech is definitely the way to go branding-wise. no random pedestrian is gonna know what you’re talking about if you say GNU or Kubuntu or whatever (and they probably won’t know “Linux” either, but the chance is marginally higher)