@coloco @rafapoverello No como tal; se podía contactar para esas cuestiones (u otras) en nombre_de_servidor/doc/contact, o hablando con quien fuera admin, que solía tener presencia constante y era una persona conocida.
Según para quien, esto podría ser una cuestión menor, pero, para mí, es uno de los factores que indica la diferencia entre un servidor como una comunidad o como un servicio.