Is it pronounced gnu or gnu? 🖥