It probably doesn’t matter enough. There’s limited downside to people thinking this is an official GNU project. This is a minor entry on the FAQ, not a Crusade

It probably doesn’t matter enough. There’s limited downside to people thinking this is an official GNU project. This is a minor entry on the FAQ, not a Crusade Against Wrongness like “GNU vs GNU/Linux vs GNU+Linux”.