[Solved!] Restart of the web environment

Due to a critical security issue, we will patch and restart the firewall machine for the web environment soon.

This will lead to a short period of unresponsiveness from Jira, the WordPress sites and the Shiny server, as well as several servers for CEDI and the Twin Registry. The estimated time for this is less than 2 minutes.