@ploum one of the reasons I left Twitter was that people who didn’t know better kept calling GNU/Linux “Linux”. Disappointing!