Dear everybody group! You have been engaged in ACL change(s) initiated by Girar Administrator: coq: "respublica @everybody" -> "respublica rider @everybody" -- Rgrds, your Girar ACL robot