[tankenmate]

I think that is one variant of his point and you have completely missed it. Who in the "community" should own the "trademark"? Did someone register it? Do "they" represent the community?

[soc88]

The EPFL owns it, especially the logo he is also using. And no, registering is not always a requirement.