Solution 2 for me :-)

+ writing to stdout ...?

Thank you so much !

Le 13/04/2021 à 14:11, Juliusz Chroboczek a écrit :
the html page might be difficult to parse (need web scraping ?) to get
those data for a longer period.
Solution 1: add a /stats.json in addition to /stats

Solution 2: create /stats.json, and replace /stats with a piece of
            JavaScript that fetches /stats.json and formats it.

Preferences?  Other ideas?
-- 
Dernat Rémy
Chef de projet SI, CNRS
Infrastructure des Systèmes d'Information ISI
ISEM Montpellier