@Gargron Many open-source projects have registered a trademark on their names to protect them, and have a web page about the use of the trademark.Debian for example: https://www.debian.org/trademark