vbclxxx·5 anni fa·discussDoes this mean that RabbitMQ must be renamed for the "psychological safety" of students like Coq?