I just want to announce that usual server maintenance (mainly updates) will be done on Mondays from 2 – 6pm. Please expect an occasional reboot during this time period.

If critical software vulnerabilities (especially remote vulnerabilities) are discovered in the software we use, I will patch them as soon as the patches are released (and not wait until the next Monday).

Please let me know if you want to run a simulation on/over a Monday. I can generally avoid a reboot if I have to, but need to know which servers you use.