Is it Linux or GNU or GNU/Linux or GNU + Linux? What's your view? #askNostr