Den 13. maj 2024 kl. 09.36 skrev Marcus Denker <marcus.denker@inria.fr>:

maybe it is not compatible with all browsers somehow? Here only the old dates are ���deleted���: