Maintenance on server #15, #17, #18, #19 and #20

Today we will be updating all software on server #15, #17, #18, #19 and #20. The maintenance will not take longer than 30 minutes on each server and there will be no / very minimal downtime.