Hosting update on Friday 16 October, 10:00–17:00 CEST
On Friday 16 October between 10:00 and 17:00 CEST we are updating the infrastructure that hosts our APIs and this portal. Intermittent outages are possible during this window. No action is needed on your side.