The diagrams are not displayed: https://framasoft.frama.io/framaspace/argos/developer/overview.html#sequence-diagram and https://framasoft.frama.io/framaspace/argos/developer/models.html#the-data-model