[chacham15]

> At some point I am not sure what the maintainers could do except ignoring it.

Ignoring people is a childs approach to communication. If there is a problem, its your responsibility to communicate it. If you have communicated the issue and the other party is refusing to hear it, that is a different issue, but it is your responsibility to communicate.

[bonzini]

Yes, as I wrote they had communicated it before. (BTW of course it's bazaar not cathedral... Brain fart for me).